@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 Fourth 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",
YEAR = 1991}