@article{DBLP:journals/iandc/CalvaneseGMP18,
  author    = {Diego Calvanese and
               Giuseppe De Giacomo and
               Marco Montali and
               Fabio Patrizi},
  title     = {First-order \emph{{\(\mu\)}}-calculus over generic transition systems
               and applications to the situation calculus},
  journal   = {Inf. Comput.},
  volume    = {259},
  number    = {3},
  pages     = {328--347},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.ic.2017.08.007},
  doi       = {10.1016/j.ic.2017.08.007},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/CalvaneseGMP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"a5K2uX2xAF3GAiAXF","bibbaseid":"calvanese-giacomo-montali-patrizi-firstorderemphmucalculusovergenerictransitionsystemsandapplicationstothesituationcalculus-2018","author_short":["Calvanese, D.","Giacomo, G. D.","Montali, M.","Patrizi, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"title":"First-order \\emph\\(\\mu\\)-calculus over generic transition systems and applications to the situation calculus","journal":"Inf. Comput.","volume":"259","number":"3","pages":"328–347","year":"2018","url":"https://doi.org/10.1016/j.ic.2017.08.007","doi":"10.1016/j.ic.2017.08.007","timestamp":"Fri, 27 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/iandc/CalvaneseGMP18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/CalvaneseGMP18,\n author = {Diego Calvanese and\n Giuseppe De Giacomo and\n Marco Montali and\n Fabio Patrizi},\n title = {First-order \\emph{{\\(\\mu\\)}}-calculus over generic transition systems\n and applications to the situation calculus},\n journal = {Inf. Comput.},\n volume = {259},\n number = {3},\n pages = {328--347},\n year = {2018},\n url = {https://doi.org/10.1016/j.ic.2017.08.007},\n doi = {10.1016/j.ic.2017.08.007},\n timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/iandc/CalvaneseGMP18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Calvanese, D.","Giacomo, G. D.","Montali, M.","Patrizi, F."],"key":"DBLP:journals/iandc/CalvaneseGMP18","id":"DBLP:journals/iandc/CalvaneseGMP18","bibbaseid":"calvanese-giacomo-montali-patrizi-firstorderemphmucalculusovergenerictransitionsystemsandapplicationstothesituationcalculus-2018","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ic.2017.08.007"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["first","order","emph","calculus","over","generic","transition","systems","applications","situation","calculus","calvanese","giacomo","montali","patrizi"],"title":"First-order \\emph\\(\\mu\\)-calculus over generic transition systems and applications to the situation calculus","year":2018}