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