EasyChair Smart Slide
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems