@article{ dblp4151247,
  title = {From Parity Games to Circular Proofs},
  author = {Luigi Santocanale},
  author_short = {Santocanale, L.},
  bibtype = {article},
  type = {article},
  year = {2002},
  key = {dblp4151247},
  id = {dblp4151247},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/Santocanale02},
  url = {http://dx.doi.org/10.1016/S1571-0661(04)80370-0},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {305-316},
  number = {1},
  volume = {65},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 65(1):305-316 (2002)}
}

{"_id":"yQk9pEuzPFNugpxej","bibbaseid":"santocanale-fromparitygamestocircularproofs-2002","downloads":0,"creationDate":"2016-01-22T22:38:04.099Z","title":"From Parity Games to Circular Proofs","author_short":["Santocanale, L."],"year":2002,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/Santocanale02","bibdata":{"title":"From Parity Games to Circular Proofs","author":["Luigi Santocanale"],"author_short":["Santocanale, L."],"bibtype":"article","type":"article","year":"2002","key":"dblp4151247","id":"dblp4151247","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/Santocanale02","url":"http://dx.doi.org/10.1016/S1571-0661(04)80370-0","journal":"Electr. Notes Theor. Comput. Sci. (ENTCS)","pages":"305-316","number":"1","volume":"65","text":"Electr. Notes Theor. Comput. Sci. (ENTCS) 65(1):305-316 (2002)","bibtex":"@article{ dblp4151247,\n title = {From Parity Games to Circular Proofs},\n author = {Luigi Santocanale},\n author_short = {Santocanale, L.},\n bibtype = {article},\n type = {article},\n year = {2002},\n key = {dblp4151247},\n id = {dblp4151247},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/Santocanale02},\n url = {http://dx.doi.org/10.1016/S1571-0661(04)80370-0},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {305-316},\n number = {1},\n volume = {65},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 65(1):305-316 (2002)}\n}","bibbaseid":"santocanale-fromparitygamestocircularproofs-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S1571-0661(04)80370-0"},"downloads":0},"search_terms":["parity","games","circular","proofs","santocanale"],"keywords":[],"authorIDs":[],"dataSources":["v2uWF3bdkJMAqbFtn"]}