%0 Journal Article %1 journals/tplp/LierlerT11 %A Lierler, Yuliya %A Truszczynski, Miroslaw %D 2011 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 629-646 %T Transition systems for model generators - A unifying approach. %U http://dblp.uni-trier.de/db/journals/tplp/tplp11.html#LierlerT11 %V 11

@article{journals/tplp/LierlerT11, added-at = {2020-02-13T00:00:00.000+0100}, author = {Lierler, Yuliya and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/2082b436537a1d39e21cde4b6c78e6fd6/dblp}, ee = {https://doi.org/10.1017/S1471068411000214}, interhash = {73fa818004e8f073bf69e1f0f3af68ed}, intrahash = {082b436537a1d39e21cde4b6c78e6fd6}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {629-646}, timestamp = {2020-02-14T11:43:39.000+0100}, title = {Transition systems for model generators - A unifying approach.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp11.html#LierlerT11}, volume = 11, year = 2011 }