EEMCS

Bossi, A. and Cocco, N. and Etalle, S. and Rossi, S. (2004) Declarative Semantics of Input Consuming Logic Programs. Technical Report TR-CTIT-04-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bossi, A. and Cocco, N. and Etalle, S. and Rossi, S. (2004) Declarative Semantics of Input Consuming Logic Programs. In: Program Development in Computational Logic. Springer-Verlag, Berlin, pp. 90-114. ISBN 3-540-22152-2

Bossi, A. and Cocco, N. and Etalle, S. (2002) Transformation Systems and Nondeclarative Properties. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Springer-Verlag, Berlin, pp. 162-186. ISBN 3-540-43959-5

Bossi, A. and Cocco, N. and Etalle, S. and Rossi, S. (2002) On Modular Termination Proofs of General Logic Programs. Theory and Practice of Logic Programming, 2 (3). pp. 263-291. ISSN 1471-0684 *** ISI Impact 1,250 ***

Bossi, A. and Cocco, N. and Etalle, S. (2000) Transformation of Left Terminating Programs. In: 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), Venezia, Italy. pp. 156-175. Springer-Verlag. ISBN 3-540-67628-7

Etalle, S. and Bossi, A. and Cocco, N. (1999) Termination of well-moded programs. Journal of Logic Programming (JLP), 38 (2). pp. 243-257. ISSN 0743-1066

Bossi, A. and Cocco, N. and Etalle, S. (1996) Simultaneous Replacement in Normal Programs. Journal of logic and Computation, 6 (1). pp. 79-120. ISSN 0955-792X *** ISI Impact 0,586 ***

Bossi, A. and Cocco, N. and Etalle, S. (1995) Transformation of Left Terminating Programs: The reordering problem. In: 5th Int. Logic Program Synthesis and Transformation (LOPSTR), Utrecht, The Netherlands. pp. 33-45. Springer-Verlag. ISBN 3-540-60939-3

Bossi, A. and Cocco, N. and Etalle, S. (1992) On Safe Folding. In: 4th Programming Languages: Implementations, Logics and Programs (PLILP), Leuven, Belgique. pp. 172-186. Springer-Verlag. ISBN 3-540-55844-6

Bossi, A. and Cocco, N. and Etalle, S. (1992) Transforming Normal Programs by Replacement. In: 3rd Int. Workshop Meta Programming in Logic (META), Uppsala, Sweden. pp. 265-279. Springer-Verlag. ISBN 3-540-56282-6