Dynamic Logic Programming with Multiple Dimensions

Authors

José Júlio Alferes, L. Garcia, João Leite, M. Chiara Meo, Luís Moniz Pereira,