ALF

• Michael Hanus: Compiling Logic Programs with Equality. PLILP 1990: 387-400 BibTeX
• Michael Hanus: Efficient Implementation of Narrowing and Rewriting. PDK 1991: 344-365 BibTeX
• Michael Hanus: The ALF System: An Efficient Implementation of a Functional Logic Language. PDK 1991: 414-416 BibTeX
• Michael Hanus: Incremental Rewriting in Narrowing Derivations. ALP 1992: 228-243 BibTeX
• Michael Hanus: Improving Control of Logic Programs by Using Functional Logic Languages. PLILP 1992: 1-23 BibTeX
• Michael Hanus, Berthold Josephs: A Debugging Model for Functional Logic Programs. PLILP 1993: 28-43 BibTeX
• Michael Hanus: Towards the Global Optimization of Functional Logic Programs. CC 1994: 68-82 BibTeX