Book Section

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.

Provetti, Alessandro and Rossi, G. (1997) Action specifications in log. In: Falaschi, M. and Navarro, M. and Policriti, A. (eds.) 1997 Joint Conference on Declarative Programming: APPIA-GULP-PRODE '97. APPIA-GULP-PRODE, pp. 381-392.