@article{DBLP:journals/corr/AbdullaMSS13,
  author       = {Parosh Aziz Abdulla and
                  Richard Mayr and
                  Arnaud Sangnier and
                  Jeremy Sproston},
  title        = {Solving Parity Games on Integer Vectors},
  journal      = {CoRR},
  volume       = {abs/1306.2806},
  year         = {2013},
  url          = {http://arxiv.org/abs/1306.2806},
  eprinttype    = {arXiv},
  eprint       = {1306.2806},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaMSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"izFvXA6iz72G6h2DY","bibbaseid":"abdulla-mayr-sangnier-sproston-solvingparitygamesonintegervectors-2013","author_short":["Abdulla, P. A.","Mayr, R.","Sangnier, A.","Sproston, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Parosh","Aziz"],"propositions":[],"lastnames":["Abdulla"],"suffixes":[]},{"firstnames":["Richard"],"propositions":[],"lastnames":["Mayr"],"suffixes":[]},{"firstnames":["Arnaud"],"propositions":[],"lastnames":["Sangnier"],"suffixes":[]},{"firstnames":["Jeremy"],"propositions":[],"lastnames":["Sproston"],"suffixes":[]}],"title":"Solving Parity Games on Integer Vectors","journal":"CoRR","volume":"abs/1306.2806","year":"2013","url":"http://arxiv.org/abs/1306.2806","eprinttype":"arXiv","eprint":"1306.2806","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/AbdullaMSS13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/AbdullaMSS13,\n author = {Parosh Aziz Abdulla and\n Richard Mayr and\n Arnaud Sangnier and\n Jeremy Sproston},\n title = {Solving Parity Games on Integer Vectors},\n journal = {CoRR},\n volume = {abs/1306.2806},\n year = {2013},\n url = {http://arxiv.org/abs/1306.2806},\n eprinttype = {arXiv},\n eprint = {1306.2806},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/AbdullaMSS13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Abdulla, P. A.","Mayr, R.","Sangnier, A.","Sproston, J."],"key":"DBLP:journals/corr/AbdullaMSS13","id":"DBLP:journals/corr/AbdullaMSS13","bibbaseid":"abdulla-mayr-sangnier-sproston-solvingparitygamesonintegervectors-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1306.2806"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/45/2701.bib","dataSources":["7sjsfpwbZdJKfTRJa"],"keywords":[],"search_terms":["solving","parity","games","integer","vectors","abdulla","mayr","sangnier","sproston"],"title":"Solving Parity Games on Integer Vectors","year":2013}