Bieber, P. ; L. Farinas del Cerro and A. Herzig; MOLOG: A Modal Prolog (Systems Abstract), In E. Lusk and R. Over-beek (eds), Proc. of the 9th International Conference on Automated Deduction, Argonne, Illinois, May 23-26, 1988, pp.762-763, Springer-Verlag.

Languages mentioned

• Molog {1987}