Logicality of conditional rewrite systems

Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp. Logicality of conditional rewrite systems. Theoretical Computer Science, 236(1-2):209-232, 2000. [doi]

Abstract

Abstract is missing.