T.A.C.: Parameterised boolean equation systems (2005)

by J F Groote, Willemse
Venue:Theoretical Computer Science