Rewriting and narrowing for constructor systems with call-time choice semantics

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. Rewriting and narrowing for constructor systems with call-time choice semantics. TPLP, 14(2):165-213, 2014. [doi]

Abstract

Abstract is missing.