Non-Horn clause logic programming
scientific article; zbMATH DE number 1972325
scientific article