Multi-Modal Logic Programming using Equational and Order-Sorted Logic. - Françoise Debart; Patrice Enjalbert; Madeleine Lescot (ALP, 1990)

Multimodal Logic Programming Using Equational and Order-Sorted Logic. - Françoise Debart; Patrice Enjalbert; Madeleine Lescot (Theor. Comput. Sci., 1992)