Exploring Conditional Rewriting Logic Computations

Alpuente Frasnedo María, Ballis Demis, Frechina Navarro Francisco, Sapiña Sanchis Julia

2015

Journal of Symbolic Computation