@inproceedings{DBLP:conf/afips/WosWL81,
author = {Larry Wos and
S. K. Winker and
Ewing L. Lusk},
title = {An automated reasoning system},
booktitle = {AFIPS National Computer Conference},
year = {1981},
pages = {697-702},
ee = {http://doi.acm.org/10.1145/1500412.1500517},
crossref = {DBLP:conf/afips/1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/afips/1981,
title = {American Federation of Information Processing Societies:
1981 National Computer Conference, 4-7 May 1981, Chicago,
Illinois, USA},
booktitle = {AFIPS National Computer Conference},
publisher = {AFIPS Press},
series = {AFIPS Conference Proceedings},
volume = {50},
year = {1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-07-07 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
