Paper accepted in FACS2018 special issue

The paper “Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Jan Friso Groote was accepted for publication in the FACS2018 special issue of Science of Computer Programming. This paper extends “Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting”, which was awarded the Best Paper award at FACS 2018.