On Comleteness of Narrowing Strategies

Rachid Echahed. On Comleteness of Narrowing Strategies. In Max Dauchet, Maurice Nivat, editors, CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 299 of Lecture Notes in Computer Science, pages 89-101, Springer, 1988.

Abstract

Abstract is missing.