Technical Reports

1. E. Pontelli, G. Gupta. ``Nondeterminate Dependent And-Parallelism Revisited'', NMSU-CSTR-9601, Dept. of Computer Science, New Mexico State University, 1996.

2. E. Pontelli, G. Gupta. ``Nested Parallel Call Optimization (NPCO)'', NMSU-CSTR-9502, Dept. of Computer Science, New Mexico State University, 1995.

3. T. DongXing, E. Pontelli, G. Gupta, M. Carro. ``Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems'', NMSU-CSTR-9403, Dept. of Computer Science, New Mexico State University, 1994.

4. E. Pontelli, G. Gupta, D. Tang. `` Determinacy Driven Optimization of And-Parallel Systems'', NMSU-CSTR-9423, Dept. of Computer Science, New Mexico State University, 1994.

5. E. Pontelli, G. Gupta. ``On the Duality Between Or-Parallelism and And-Parallelism", NMSU-CSTR-9501, Dept. of Computer Science, New Mexico State University, 1995.

6. E. Pontelli, G. Gupta. ``Design and Implementation of Parallel Logic Programming Systems---Proceedings of the ILPS94 Post-conference workshop.'', NMSU-CSTR-9424, Dept. of Computer Science, New Mexico State University, 1994.

7. G. Gupta, M.V. Hermenegildo, E. Pontelli, V. Santos Costa ``ACE: And/Or-parallel Copying-based Execution of Logic Programs", Dept. of Computer Science, New Mexico State University, 1994.

8. G.Gupta, E.Pontelli, M.V.Hermenegildo ``&ACE: A High-Performance Parallel Prolog System", NMSU-CSTR-9415, Dept. of Computer Science, New Mexico State University, 1994.

9. A. Dovier, E. Pontelli `` A WAM-based Implementation of a Logic Language with Sets", Dept. of Computer Science, New Mexico State University, 1993.

10. A.Dovier, E.G.Omodeo, E.Pontelli, G.Rossi ``Embedding Finite Sets in a Logic Programming Language", University ``La Sapienza" of Rome, Italy, 1993.

11. A.Dovier, E.Pontelli ``Implementation and Application Frameworks for the language : the project AXL", ENIDATA, 1991.