Implementation of dynamic logic programs

Federico Banti, M. Proietti, José Júlio Alferes, Antonio Brogi

Publisher	Quaderno del Dipartimento di Matematica
Publisher	Quaderno del Dipartimento di Matematica

Publication