Balduccini, M. and Brignoli, G. and Lanzarone, G.A. and Magni, F. and Provetti, Alessandro (2000) Experiments in answer sets planning. In: Cairo, O and Sucar, L.E. and Cantu, F.J. (eds.) MICA 2000: Advances in Artificial Intelligence. Springer, pp. 95-107. ISBN 9783540673545.

Lanzarone, G.A. and Provetti, Alessandro (1998) Processing temporal and atemporal declarative knowledge in metalogic programming. In: Freire-Nistal, J.L. and Falaschi, M. and Ferro, M.V. (eds.) 1998 Joint Conference on Declarative Programming: APPIA-GULP-PRODE 98. APPIA-GULP-PRODE, pp. 201-214.