@inproceedings{neele_(re)moving_2022,
    title = {{(Re)moving Quantifiers to Simply Parameterised Boolean Equation Systems}},
    author = {Neele, Thomas},
    year = {2022},
    publisher = {},
    booktitle = {ARQNL 2022},
    pages = {64--80},
    series = {CEUR-WS},
    volume = {3326},
    doi = {},
}