Basic Narrowing Revisited

Werner Nutt, Pierre Réty, Gert Smolka. Basic Narrowing Revisited. Journal of Symbolic Computation, 7(3/4):295-317, 1989.

Abstract

Abstract is missing.