Generation and verification of finite models and counterexamples using an automated theorem prover answering two open questions (1982)

by S Winker
Venue:J. ACM