Propositional reasoning by dimensional reduction: a preliminary report

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]

Authors

Robin Lohfert

This author has not been identified. Look up 'Robin Lohfert' in Google

James J. Lu

This author has not been identified. Look up 'James J. Lu' in Google