An Evaluation of an Implementation of Qualified Hyperresolution. - Steven K. Winker (IEEE Trans. Computers, 1976)

Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. - Steve Winker; Larry Wos (MVL, 1978)

An automated reasoning system. - Larry Wos; Steven K. Winker; Ewing L. Lusk (AFIPS National Computer Conference, 1981)

Procedure Implementation Through Demodulation and Related Tricks. - Steven K. Winker; Larry Wos (CADE, 1982)

Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions. - Steve Winker (J. ACM, 1982)

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. - Larry Henschen; Barry Smith 002; Robert Veroff; Steve Winker; Larry Wos (Notre Dame J. Formal Log., 1983)

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. - Larry Wos; Steve Winker; Barry Smith 002; Robert Veroff; Lawrence J. Henschen (Artif. Intell., 1984)

Automated Reasoning Contributed to Mathematics and Logic. - Larry Wos; Steve Winker; William McCune; Ross A. Overbeek; Ewing L. Lusk; Rick L. Stevens; Ralph Butler (CADE, 1990)

Structure detection through automated covariance search. - Steve Winker; Ross A. Overbeek; Carl R. Woese; Gary J. Olsen; N. Pfluger (Comput. Appl. Biosci., 1990)

Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean. - Steve Winker (J. Autom. Reason., 1990)