Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. - Ruud P. J. Koolen; Tim A. C. Willemse; Hans Zantema (ATVA, 2015)