@inproceedings{neele_solving_2018,
    title = {Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting},
    authors = {Neele, Thomas and Willemse, Tim A. C. and Groote, Jan Friso},
    year = {2018},
    publisher = {Springer},
    booktitle = {FACS 2018},
    pages = {216--236},
    series = {LNCS},
    volume = {11222},
    doi = {10.1007/978-3-030-02146-7_11},
}