%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 dblp %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 = {2021-08-15T00:00:00.000+0200}, author = {Lamotte-Schubert, Manuel and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/282bd6bec79d12d485c10722598f3e2e3/dblp}, booktitle = {LPAR (short papers)}, crossref = {conf/lpar/2013s}, editor = {McMillan, Kenneth L. and Middeldorp, Aart and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://doi.org/10.29007/8m7f}, interhash = {bc35f779a966e37e484890345a98748c}, intrahash = {82bd6bec79d12d485c10722598f3e2e3}, keywords = {dblp}, pages = {62-74}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, 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 }