Graham Wrightson. On the Treatment of Equivalence Connectives in Automated Theorem Proving. In Reinhard Wilhelm, editor, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Volume 33 of Informatik-Fachberichte, pages 428, Springer, 1980.
Abstract is missing.