Automated theorem proving and logic programming: a natural symbiosis
scientific article; zbMATH DE number 12028