%0 Journal Article %1 journals/tocl/AschingerDGV14 %A Aschinger, Markus %A Drescher, Conrad %A Gottlob, Georg %A Vollmer, Heribert %D 2014 %J ACM Trans. Comput. Log. %K %N 3 %P 20:1-20:25 %T LoCo - A Logic for Configuration Problems. %U http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#AschingerDGV14 %V 15

@article{journals/tocl/AschingerDGV14, added-at = {2023-12-12T20:44:48.000+0100}, author = {Aschinger, Markus and Drescher, Conrad and Gottlob, Georg and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/2fcb4b3001aff87fefd27540194da8f5a/admin}, ee = {https://www.wikidata.org/entity/Q59259470}, interhash = {33b747c2ea0b6a67cae3bdb2b7343840}, intrahash = {fcb4b3001aff87fefd27540194da8f5a}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 3, pages = {20:1-20:25}, timestamp = {2023-12-12T20:44:48.000+0100}, title = {LoCo - A Logic for Configuration Problems.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#AschingerDGV14}, volume = 15, year = 2014 }