%0 Conference Paper %1 conf/cade/Comon-LundhCS13 %A Comon-Lundh, Hubert %A Cortier, Véronique %A Scerri, Guillaume %B CADE %D 2013 %E Bonacina, Maria Paola %I Springer %K dblp %P 91-108 %T Tractable Inference Systems: An Extension with a Deducibility Predicate. %U http://dblp.uni-trier.de/db/conf/cade/cade2013.html#Comon-LundhCS13 %V 7898 %@ 978-3-642-38573-5

@inproceedings{conf/cade/Comon-LundhCS13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Comon-Lundh, Hubert and Cortier, Véronique and Scerri, Guillaume}, biburl = {https://www.bibsonomy.org/bibtex/263a239fd83c107e1b9c5258d0b71cd37/dblp}, booktitle = {CADE}, crossref = {conf/cade/2013}, editor = {Bonacina, Maria Paola}, ee = {https://doi.org/10.1007/978-3-642-38574-2_6}, interhash = {ea480cef7121c52d3b400ccfc316d07e}, intrahash = {63a239fd83c107e1b9c5258d0b71cd37}, isbn = {978-3-642-38573-5}, keywords = {dblp}, pages = {91-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:13.000+0200}, title = {Tractable Inference Systems: An Extension with a Deducibility Predicate.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2013.html#Comon-LundhCS13}, volume = 7898, year = 2013 }