Robin Lohfert, James J. Lu. Propositional reasoning by dimensional reduction: a preliminary report. In David John, Sandria N. Kerr, editors, Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007. pages 525-526, ACM, 2007. [doi]
No reviews for this publication, yet.