@book{49132, author = {Mogavero, Fabio. and SpringerLink (Online service)}, title = {Logics in Computer Science}, publisher = {Atlantis Press :}, year = {2013.}, series = {Atlantis Studies in Computing,}, address = {Paris :}, url = {http://dx.doi.org/10.2991/978-94-91216-95-4} }