%0 Journal Article %1 journals/ai/BagetLMS11 %A Baget, Jean-François %A Leclère, Michel %A Mugnier, Marie-Laure %A Salvat, Eric %D 2011 %J Artif. Intell. %K dblp %N 9-10 %P 1620-1654 %T On rules with existential variables: Walking the decidability line. %U http://dblp.uni-trier.de/db/journals/ai/ai175.html#BagetLMS11 %V 175

@article{journals/ai/BagetLMS11, added-at = {2019-09-25T00:00:00.000+0200}, author = {Baget, Jean-François and Leclère, Michel and Mugnier, Marie-Laure and Salvat, Eric}, biburl = {https://www.bibsonomy.org/bibtex/27b6b5029d161f67c17ddb9f82f081cc6/dblp}, ee = {https://doi.org/10.1016/j.artint.2011.03.002}, interhash = {20db40333fe6f1584bb0ba4a2f3ce913}, intrahash = {7b6b5029d161f67c17ddb9f82f081cc6}, journal = {Artif. Intell.}, keywords = {dblp}, number = {9-10}, pages = {1620-1654}, timestamp = {2019-09-26T11:58:01.000+0200}, title = {On rules with existential variables: Walking the decidability line.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai175.html#BagetLMS11}, volume = 175, year = 2011 }