On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems.

Published in: Fuji International Symposium on Functional and Logic Programming (1999)

Keyphrases