@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"
}