%0 Conference Paper %1 conf/ACMse/LohferL07 %A Lohfert, Robin %A Lu, James J. %B ACM Southeast Regional Conference %D 2007 %E John, David %E Kerr, Sandria N. %I ACM %K dblp %P 525-526 %T Propositional reasoning by dimensional reduction: a preliminary report. %U http://dblp.uni-trier.de/db/conf/ACMse/ACMse2007.html#LohferL07 %@ 978-1-59593-629-5

@inproceedings{conf/ACMse/LohferL07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lohfert, Robin and Lu, James J.}, biburl = {https://www.bibsonomy.org/bibtex/2b1e89462da0b5502bb304e4a4563d580/dblp}, booktitle = {ACM Southeast Regional Conference}, crossref = {conf/ACMse/2007}, editor = {John, David and Kerr, Sandria N.}, ee = {https://doi.org/10.1145/1233341.1233446}, interhash = {69a06a307c6c1725261b9618128df425}, intrahash = {b1e89462da0b5502bb304e4a4563d580}, isbn = {978-1-59593-629-5}, keywords = {dblp}, pages = {525-526}, publisher = {ACM}, timestamp = {2024-04-09T14:10:58.000+0200}, title = {Propositional reasoning by dimensional reduction: a preliminary report.}, url = {http://dblp.uni-trier.de/db/conf/ACMse/ACMse2007.html#LohferL07}, year = 2007 }