Jack Horner. An Automated Equational Logic Deduction of Join Elimination in Orthomodular Lattice Theory. In Hamid R. Arabnia, Mary Qu Yang, Jack Y. Yang, editors, Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007, Volume II, June 25-28, 2007, Las Vegas, Nevada, USA. pages 481-488, CSREA Press, 2007.
Abstract is missing.