Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Dershowitz, Nachum ; Lindenstrauss, Naomi Dershowitz, Nachum ; Lindenstrauss, Naomi
Berlin, Heidelberg: Springer Berlin Heidelberg 1995
Texto completo disponível