The following publications are possibly variants of this publication:
- Proof Graphs for Parameterised Boolean Equation SystemsSjoerd Cranen, Bas Luttik, Tim A. C. Willemse. concur 2013: 470-484 [doi]
- Parameterised boolean equation systemsJan Friso Groote, Tim A. C. Willemse. TCS, 343(3):332-369, 2005. [doi]
- Finding compact proofs for infinite-data parameterised Boolean equation systemsThomas Neele, Tim A. C. Willemse, Jan Friso Groote. SCP, 188:102389, 2020. [doi]
- Invariants for Parameterised Boolean Equation SystemsSimona Orzan, Tim A. C. Willemse. TCS, 411(11-13):1338-1371, 2010. [doi]
- Instantiation for Parameterised Boolean Equation SystemsArthur van Dam, Bas Ploeger, Tim A. C. Willemse. ictac 2008: 440-454 [doi]
- Invariants for Parameterised Boolean Equation SystemsSimona Orzan, Tim A. C. Willemse. concur 2008: 187-202 [doi]
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation SystemsThomas Neele, Tim A. C. Willemse, Wieger Wesselink. TACAS 2020: 307-324 [doi]