?url_ver=Z39.88-2004&rft_id=10.3233%2FFI-2012-709&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Gadducci%2C+Fabio&rft.aulast=Gadducci&rft.aufirst=Fabio&rft.title=Fundamenta+Informaticae&rft.date=2012&rft.atitle=Counterpart+Semantics+for+a+Second-Order+mu-Calculus&rft.pages=177-205&rft.issn=1875-8681&rft.volume=118&rft.issue=1-2&rft.genre=article