@INPROCEEDINGS{MPB-JH:STACS1993:df, AUTHOR = "Maria Paola Bonacina and Jieh Hsiang", TITLE = "On fairness in distributed automated deduction", BOOKTITLE = "Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science (STACS)", EDITOR = "Patrice Enjalbert and Alain Finkel and Klaus W. Wagner", SERIES = "Lecture Notes in Computer Science", VOLUME = 665, PAGES = "141--152", PUBLISHER = "Springer", MONTH = "February", DOI = "10.1007/3-540-56503-5_17", YEAR = 1993}