An Exercise with Dynamic Logic Programming

Authors

José Júlio Alferes, L. Garcia, Luís Moniz Pereira, M. Chiara Meo, H. Przymusinska, T. C. Przymusinski, Paulo Quaresma,