Jack K. Horner. An Automated Deduction System for Orthomodular Lattice Theory. In Hamid R. Arabnia, Rose Joshua, editors, Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 1. pages 260-265, CSREA Press, 2005.
Abstract is missing.