Automated Modular Termination Proofs for Real Prolog Programs. - Martin Müller 002; Thomas Glaß; Karl Stroetmann 001 (SAS, 1996)

PAN - The Prolog Analyzer. - Martin Müller 002; Thomas Glaß; Karl Stroetmann 001 (SAS, 1996)

Time and Space Efficient Method-Lookup for Object-Oriented Programs (Extended Abstract). - S. Muthukrishnan 001; Martin Müller 002 (SODA, 1996)