%0 Journal Article %1 journals/amai/PerriSCL07 %A Perri, Simona %A Scarcello, Francesco %A Catalano, Gelsomina %A Leone, Nicola %D 2007 %J Ann. Math. Artif. Intell. %K dblp %N 2-4 %P 195-228 %T Enhancing DLV instantiator by backjumping techniques. %U http://dblp.uni-trier.de/db/journals/amai/amai51.html#PerriSCL07 %V 51

@article{journals/amai/PerriSCL07, added-at = {2023-06-26T00:00:00.000+0200}, author = {Perri, Simona and Scarcello, Francesco and Catalano, Gelsomina and Leone, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/21c89d9c69b1d6600eee0bb6a9ceeafb5/dblp}, ee = {https://doi.org/10.1007/s10472-008-9090-9}, interhash = {2ac04520b8fb267867218bcf6d30b79d}, intrahash = {1c89d9c69b1d6600eee0bb6a9ceeafb5}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {2-4}, pages = {195-228}, timestamp = {2024-04-08T16:48:53.000+0200}, title = {Enhancing DLV instantiator by backjumping techniques.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai51.html#PerriSCL07}, volume = 51, year = 2007 }