Workshop on the Lambda Prolog Programming Language
(1992)
Hodas, Josh (1992)
Hodas, Josh "Lolli - an Extension of Lambda Prolog with Linear Context Management"