%0 Journal Article %1 journals/iandc/GottlobP01 %A Gottlob, Georg %A Pichler, Reinhard %D 2001 %J Inf. Comput. %K dblp %N 2 %P 183-207 %T Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. %U http://dblp.uni-trier.de/db/journals/iandc/iandc165.html#GottlobP01 %V 165

@article{journals/iandc/GottlobP01, added-at = {2021-02-12T00:00:00.000+0100}, author = {Gottlob, Georg and Pichler, Reinhard}, biburl = {https://www.bibsonomy.org/bibtex/22da47042966b359c469531535b6c4254/dblp}, ee = {https://www.wikidata.org/entity/Q59259728}, interhash = {5eedd6990ad8191acd0109d5680480d6}, intrahash = {2da47042966b359c469531535b6c4254}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {183-207}, timestamp = {2024-04-09T06:09:39.000+0200}, title = {Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc165.html#GottlobP01}, volume = 165, year = 2001 }