On Fairness of Completion-Based Theorem Proving Strategies.
Journal
Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings
Pages
348-360
Date Issued
1991
Author(s)
Bonacina, Maria Paola
Type
conference paper