@INPROCEEDINGS{MPB-JH:RTA1991:fairness, AUTHOR = "Maria Paola Bonacina and Jieh Hsiang", TITLE = "On fairness of completion-based theorem proving strategies", BOOKTITLE = "Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA)", EDITOR = "Ronald V. Book", SERIES = "Lecture Notes in Computer Science", VOLUME = 488, PAGES = "348--360", PUBLISHER = "Springer", MONTH = "April", DOI = "10.1007/3-540-53904-2_109", YEAR = 1991}