@article{neele_finding_2020, title = {Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems}, authors = {Neele, Thomas and Willemse, Tim A.C. and Groote, Jan Friso}, year = {2020}, publisher = {Elsevier}, journal = {Science of Computer Programming}, pages = {102389}, volume = {188}, issue = {}, doi = {10.1016/j.scico.2019.102389}, }