Steve Winker, Larry Wos. Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. In Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978. pages 251-256, IEEE Computer Society Press, 1978. [doi]
Abstract is missing.