%0 Journal Article %1 journals/corr/TerepetaNN13 %A Terepeta, Michal %A Nielson, Hanne Riis %A Nielson, Flemming %D 2013 %J CoRR %K %T Pushdown Systems for Monotone Frameworks. %U http://dblp.uni-trier.de/db/journals/corr/corr1307.html#TerepetaNN13 %V abs/1307.4585

@article{journals/corr/TerepetaNN13, added-at = {2023-12-12T23:15:54.000+0100}, author = {Terepeta, Michal and Nielson, Hanne Riis and Nielson, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/23b3c3122fbf4103b3624c91b704b69d9/admin}, ee = {http://arxiv.org/abs/1307.4585}, interhash = {53bfea0802ecf463ce29d796ce12921f}, intrahash = {3b3c3122fbf4103b3624c91b704b69d9}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T23:15:54.000+0100}, title = {Pushdown Systems for Monotone Frameworks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#TerepetaNN13}, volume = {abs/1307.4585}, year = 2013 }