Akama, S. "A proposal of modal logic programming (extended abstract)" in Proc. of the 6th Canadian Conference on Artificial Intelligence, pp. 99-102, Ecole Fob/technique de Montreal, Montreal, Quebec, Canada, May 1986. Presses de PUniversite du Quebec.

(1986)

Languages mentioned