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]
@inproceedings{LohferL07,
title = {Propositional reasoning by dimensional reduction: a preliminary report},
author = {Robin Lohfert and James J. Lu},
year = {2007},
doi = {10.1145/1233341.1233446},
url = {http://doi.acm.org/10.1145/1233341.1233446},
researchr = {https://researchr.org/publication/LohferL07},
cites = {0},
citedby = {0},
pages = {525-526},
booktitle = {Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007},
editor = {David John and Sandria N. Kerr},
publisher = {ACM},
isbn = {978-1-59593-629-5},
}