Cited in
(11)- Logic and functional programming by retractions
- PARLOG
- AFFIRM
- Narrowing vs. SLD-resolution
- Narrowing based procedures for equational disunification
- Code selection by inversion of order-sorted derivors
- A class of confluent term rewriting systems and unification
- History and basic features of the critical-pair/completion procedure
- Conditional equational theories and complete sets of transformations
- Kernel-LEAF: A logic plus functional language
- Optimization of rewriting and complexity of rewriting
This page was built for software: NARROWER
