@Article{Win82, Author = "Winker, S.", Year = "1982", Title = "{Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions}", Journal = "Journal of the ACM", Volume = "29", Number = "2", Pages = "273-284", Comment = "TPTPRef, semantics" }