Prolog technology for default reasoning: proof theory and compilation techniques
scientific article; zbMATH DE number 1238960
scientific article