Alberto Pettorossi

Bibliography

Pettorossi, Alberto and Proietti, Maurizio. 1998. “Transformation of Logic Programs.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 697–788. Oxford: Oxford University Press.
Pettorossi, Alberto and Skowron, Andrzej. 1987. “The Parallel Evaluation of Functional Programs.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 149–166. New York: Plenum Press.