@article{DBLP:journals/tocl/BiancoMM12,
  author       = {Alessandro Bianco and
                  Fabio Mogavero and
                  Aniello Murano},
  title        = {Graded computation tree logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {13},
  number       = {3},
  pages        = {25:1--25:53},
  year         = {2012},
  url          = {https://doi.org/10.1145/2287718.2287725},
  doi          = {10.1145/2287718.2287725},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BiancoMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HXsoxwzEmotj8iaG2","bibbaseid":"bianco-mogavero-murano-gradedcomputationtreelogic-2012","author_short":["Bianco, A.","Mogavero, F.","Murano, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Bianco"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Mogavero"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"title":"Graded computation tree logic","journal":"ACM Trans. Comput. Log.","volume":"13","number":"3","pages":"25:1–25:53","year":"2012","url":"https://doi.org/10.1145/2287718.2287725","doi":"10.1145/2287718.2287725","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tocl/BiancoMM12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/BiancoMM12,\n author = {Alessandro Bianco and\n Fabio Mogavero and\n Aniello Murano},\n title = {Graded computation tree logic},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {13},\n number = {3},\n pages = {25:1--25:53},\n year = {2012},\n url = {https://doi.org/10.1145/2287718.2287725},\n doi = {10.1145/2287718.2287725},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tocl/BiancoMM12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bianco, A.","Mogavero, F.","Murano, A."],"key":"DBLP:journals/tocl/BiancoMM12","id":"DBLP:journals/tocl/BiancoMM12","bibbaseid":"bianco-mogavero-murano-gradedcomputationtreelogic-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2287718.2287725"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ"],"keywords":[],"search_terms":["graded","computation","tree","logic","bianco","mogavero","murano"],"title":"Graded computation tree logic","year":2012}