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 Etalle, S. and Smaus, J.G. and Rossi, S. (2004) Termination of Simply Moded Logic Programs with Dynamic Scheduling. ACM Transactions on Computational Logic, 15 (3). pp. 470-507. ISSN 1529-3785 *** ISI Impact 1,391 ***

Bossi, A. and Etalle, S. and Rossi, S. and Smaus, J.G. (2003) Termination of Simply Model Logic Programs with Dynamic Scheduling. Technical Report TR-CTIT-03-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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 Etalle, S. and Rossi, S. (2002) Properties of Input-Consuming Derivations. Theory and Practice of Logic Programming, 2 (2). pp. 125-154. ISSN 1471-0684 *** ISI Impact 1,250 ***

Bossi, A. and Etalle, S. and Rossi, S. (2001) Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. In: 10th European Symp. on programming (ESOP), Genova, Italy. pp. 402-416. Springer-Verlag. ISBN 3-540-41862-8

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

Bossi, A. and Etalle, S. and Rossi, S. (2000) Semantics of Well-Moded Input-Consuming Programs. Computer Languages, 26 (1). pp. 1-25. ISSN 0096-0551

Bossi, A. and Etalle, S. and Rossi, S. (2000) Semantics of Input-Consuming Logic Programs. In: Computational Logic (CL), London, UK. pp. 194-208. Springer-Verlag.

Bossi, A. and Etalle, S. and Rossi, S. (1999) Properties of Input-Consuming Derivations. In: ICLP'99 International Conference on Logic Programming: Workshop on Verification of Logic Programs, December 1, 1999, Las Cruces, New Mexico. pp. 1-23. Electronic Notes in Theoretical Computer Science 30. Elsevier. ISSN 1571-0661

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 Etalle, S. (1994) Transforming acyclic programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 16 (4). pp. 1081-1096. ISSN 0164-0925 *** ISI Impact 1,167 ***

Bossi, A. and Etalle, S. (1994) More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. In: 4th Int. Workshop on Meta Programming in Logic (META), Pisa, Italy. pp. 311-331. Springer-Verlag. ISBN 3-540-58792-6

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