%0 Journal Article %1 journals/logcom/Lamotte-Schubert17 %A Lamotte-Schubert, Manuel %A Weidenbach, Christoph %D 2017 %J J. Log. Comput. %K %N 2 %P 441-468 %T BDI: a new decidable clause class. %U http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#Lamotte-Schubert17 %V 27

@article{journals/logcom/Lamotte-Schubert17, added-at = {2023-12-13T02:10:14.000+0100}, author = {Lamotte-Schubert, Manuel and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/20d486002abb490202a5f4b288794a328/admin}, ee = {http://dx.doi.org/10.1093/logcom/exu074}, interhash = {7bd31604d41b591df88138d480abea7f}, intrahash = {0d486002abb490202a5f4b288794a328}, journal = {J. Log. Comput.}, keywords = {}, number = 2, pages = {441-468}, timestamp = {2023-12-13T02:10:14.000+0100}, title = {BDI: a new decidable clause class.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#Lamotte-Schubert17}, volume = 27, year = 2017 }