A Step Up in Expressiveness of Decidable Fixpoint Logics
Michael Benedikt‚ Pierre Bourhis and Michael Vanden Boom
Book Title
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS '16‚ New York‚ NY‚ USA‚ July 5−8‚ 2016
Pages
817–826
Year
2016