In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 277-288, Informatik-Fachberichte, Vol. 124, Springer, 1986.
In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986), 8th, July 27 - August 1, Oxford, United Kingdom, Pages 514-524, Lecture Notes in Computer Science (LNCS), Vol. 230, Springer, 1986.
In: C.-R. Rollinger; W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 265-276, Springer Verlag, IFB 124, 1986.
In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs, Karlsruhe, Interner Bericht, Vol. 10/89, Universität Karlsruhe, 1986.
Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther
In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27 - August 1, Oxford, United Kingdom, Pages 672-674, Lecture Notes In Computer Science (LNCS), Vol. 230, ISBN 978-3-540-16780-8, Springer, London, 1986.
