%0 Conference Paper %1 conf/lpar/Lamotte-SchubertW13 %A Lamotte-Schubert, Manuel %A Weidenbach, Christoph %B LPAR (short papers) %D 2013 %E McMillan, Kenneth L. %E Middeldorp, Aart %E Sutcliffe, Geoff %E Voronkov, Andrei %I EasyChair %K %P 62-74 %T BDI: A New Decidable First-order Clause Class. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2013s.html#Lamotte-SchubertW13 %V 26

@inproceedings{conf/lpar/Lamotte-SchubertW13, added-at = {2023-12-13T07:42:21.000+0100}, author = {Lamotte-Schubert, Manuel and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/282bd6bec79d12d485c10722598f3e2e3/admin}, booktitle = {LPAR (short papers)}, crossref = {conf/lpar/2013s}, editor = {McMillan, Kenneth L. and Middeldorp, Aart and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://easychair.org/publications/paper/Ccc}, interhash = {bc35f779a966e37e484890345a98748c}, intrahash = {82bd6bec79d12d485c10722598f3e2e3}, keywords = {}, pages = {62-74}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-13T07:42:21.000+0100}, title = {BDI: A New Decidable First-order Clause Class.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2013s.html#Lamotte-SchubertW13}, volume = 26, year = 2013 }