Hodas, Josh "Lolli - an Extension of Lambda Prolog with Linear Context Management"

(1992) Workshop on the Lambda Prolog Programming Language  

Languages mentioned lolli {1992}