@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},
}