Jia Huai You;P A Subrahmanyam
-;-
Enumerating outer narrowing derivationsfor constructor-based term rewriting systems
Journal of Symbolic Computation
Basic narrowing revisited