@MISC{MPB:NSF1996:distrib,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Distributed automated deduction (Position paper)",
HOWPUBLISHED = "In D. W. Loveland and D. Kapur (eds.),
NSF Workshop on Future Directions of Automated Deduction",
MONTH = "April",
YEAR = 1996}