Rewrite Methods for Clausal and Nonclausal Theorem Proving
Resource
Proceedings of the 10th International Conference on Automata, Languages and Programming, p.331-346
Journal
10th International Conference on Automata, Languages and Programming
Pages
331-346
Date Issued
1983
Date
1983
Author(s)
Publisher
Spain: Barcelona Publishers
Type
conference paper