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

by Steve Winker
Venue:Journal of the ACM