A circumscriptive theorem prover
scientific article; zbMATH DE number 4110160
scientific article