PAN - The Prolog Analyzer.

Martin Mller, Thomas Gla, Karl Stroetmann

Browse the full SAS paper archive.