Debart, F. ; P. Enjalbert, and M. Lescot. Multimodal logic programming using equational and order-sorted logic. Theoretical Computer Science, 105(1992):141-166, 1992.
(1992)
Languages mentioned
Pathlog
{1992}