Astrid Schmücker-Schend. Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Volume 118 of Informatik-Fachberichte, pages 153-163, Springer, 1985.
Abstract is missing.