On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems.
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/Ohlebusch99 ↗
Browse the full FLOPS paper archive.