The modal logic programming system mprolog (0)

by L A Nguyen
Venue:In Proceedings of JELIA 2004, LNCS 3229 (2004