Larry Wos, Branden Fitelson. Automating the Search for Answers to Open Questions. In Mark Aagaard, John Harrison, editors, Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Volume 1869 of Lecture Notes in Computer Science, pages 519-525, Springer, 2000.
@inproceedings{WosF00,
title = {Automating the Search for Answers to Open Questions},
author = {Larry Wos and Branden Fitelson},
year = {2000},
tags = {source-to-source, search, open-source},
researchr = {https://researchr.org/publication/WosF00},
cites = {0},
citedby = {0},
pages = {519-525},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
editor = {Mark Aagaard and John Harrison},
volume = {1869},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67863-8},
}