Problem solving by searching for models with a theorem prover
scientific article; zbMATH DE number 683693
scientific article