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.
Abstract is missing.