17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 5. Theorem Proving > 212-226
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 5. Theorem Proving > 227-241
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 5. Theorem Proving > 242-256