@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}