SASLOG: Lazy Evaluation Meets Backtracking

Knut Hinkelmann, Klaus Nökel, Robert Rehbold. SASLOG: Lazy Evaluation Meets Backtracking. In Wolfgang Hoeppner, editor, Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings. Volume 181 of Informatik-Fachberichte, pages 246-254, Springer, 1988.

Abstract

Abstract is missing.