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]
No references recorded for this publication.
No citations of this publication recorded.