Leftmost outside-in narrowing calculi
Journal of Functional Programming
Higher-Order and Symbolic Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Narrowing Strategies For Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
Hi-index | 0.00 |