%0 Journal Article %1 journals/aicom/RiccaFL06 %A Ricca, Francesco %A Faber, Wolfgang %A Leone, Nicola %D 2006 %J AI Commun. %K dblp %N 2 %P 155-172 %T A backjumping technique for Disjunctive Logic Programming. %U http://dblp.uni-trier.de/db/journals/aicom/aicom19.html#RiccaFL06 %V 19

@article{journals/aicom/RiccaFL06, added-at = {2015-05-15T00:00:00.000+0200}, author = {Ricca, Francesco and Faber, Wolfgang and Leone, Nicola}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/209b0e38964a714292cfef45ca32b459b/dblp}, ee = {http://content.iospress.com/articles/ai-communications/aic369}, interhash = {4a907f31367690bad7adfc29f7cd385f}, intrahash = {09b0e38964a714292cfef45ca32b459b}, journal = {AI Commun.}, keywords = {dblp}, number = 2, pages = {155-172}, timestamp = {2016-02-02T02:04:39.000+0100}, title = {A backjumping technique for Disjunctive Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom19.html#RiccaFL06}, volume = 19, year = 2006 }