Reasoning with logic programming
scientific article; zbMATH DE number 931512
scientific article