Journals

1. A.Dovier, E.G.Omodeo, E.Pontelli, G.Rossi ``{log}: A Language for Programming in Logic with Finite Sets", Journal of Logic Programming, Elsevier Science Publishers, 1996.
2. E. Pontelli, G. Gupta, M. Hermenegildo, M. Carro, D. Tang. "Efficient Implementation of And-Parallel Logic Programming Systems", Computer Languages, Pergamon Press, Vol. 22, No. 2/3, 1996.
3. E. Pontelli and G. Gupta, ``Parallel Symbolic Computing in ACE'', Annals of Mathematics and AI, Special Issue on Logic Programming, Non-monotonic Reasoning, and Actions, Vol. 21, pp. 359-395, 1997
4. D. Ranjan, E. Pontelli, G. Gupta, ``Efficient Algorithms for the Temporal Precedence Problem'', Information Processing Letters, 68:71-78, 1998.
5. E. Pontelli and G. Gupta, ``Extended Dynamic Dependent And-parallelism in ACE'', Journal of Functional and Logic Programming, Special Issue #1, 1999.
6. D. Ranjan, E. Pontelli, L. Longpre, G. Gupta, ``The Temporal Precedence Problem'', Algorithmica, (to appear).
7. D. Ranjan, E. Pontelli, G. Gupta, "On The Complexity of Or-Parallelism", New Generation Computing, Vol. 17, No. 3, 1999.
8. E. Pontelli, D. Ranjan, G. Gupta. "The Complexity of Late-binding in Dynamic Object-oriented Languages", Journal of Functional and Logic Programming, November 1999.
9. A. Dovier, E. Pontelli, G. Rossi. "A Necessary Condition for Constructive Negation in Constraint Logic Programming", Information Processing Letters, (to appear).
10. D. Ranjan, E. Pontelli, G. Gupta. "Data Structures for Order-sensitive Predicates in Parallel Non-deterministic Systems", ACTA Informatica, (to appear).