Hans Jürgen Ohlbach. The Semantic Clause Graph Procedure - A First Overview. In Claus-Rainer Rollinger, Werner Horn, editors, GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Volume 124 of Informatik-Fachberichte, pages 218-229, Springer, 1986.
Abstract is missing.