%0 Conference Paper %1 conf/cade/GoreT12a %A Goré, Rajeev %A Thomson, Jimmy %B PAAR@IJCAR %D 2012 %E Fontaine, Pascal %E Schmidt, Renate A. %E Schulz, Stephan %I EasyChair %K dblp %P 43-57 %T BDD-based automated reasoning in propositional non-classical logics: progress report. %U http://dblp.uni-trier.de/db/conf/cade/paar2012.html#GoreT12a %V 21

@inproceedings{conf/cade/GoreT12a, added-at = {2023-03-18T00:00:00.000+0100}, author = {Goré, Rajeev and Thomson, Jimmy}, biburl = {https://www.bibsonomy.org/bibtex/249fc5494b2c6875d0d1aa2175bf539db/dblp}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2012paar}, editor = {Fontaine, Pascal and Schmidt, Renate A. and Schulz, Stephan}, ee = {https://doi.org/10.29007/swbj}, interhash = {88b433ddd90ed91922909dcbcd631fb5}, intrahash = {49fc5494b2c6875d0d1aa2175bf539db}, keywords = {dblp}, pages = {43-57}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:54:49.000+0200}, title = {BDD-based automated reasoning in propositional non-classical logics: progress report.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2012.html#GoreT12a}, volume = 21, year = 2012 }