Wolfgang Bibel. A syntactic connection between proof procedures and refutation prcedures. In H. Tzschach, H. Waldschmidt, Hermann K.-G. Walter, editors, Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings. Volume 48 of Lecture Notes in Computer Science, pages 215-225, Springer, 1977.
Abstract is missing.