Balbiani, P. ; L. Farinas del Cerro, and A. Herzig. Declarative semantics for modal logic programs. In Proc. of the 1988 International Conference on Fifth Generation Computer Systems, pp. 507-514. ICOT, 1988

Languages mentioned

• Molog {1987}