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