Univ.-Prof. Dr. Aart Middeldorp   

Strong Completeness of a Lazy Conditional Narrowing Calculus

Mohamed Hamada and Aart Middeldorp
Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming (FLOPS 1996), World Scientific, pp. 14 – 32, 1997

abstract   bibtex   journal version