@inproceedings{stramaglia_simplifying_2023,
    title = {Simplifying Process Parameters by Unfolding Algebraic Data Types},
    authors = {Stramaglia, Anna and Keiren, Jeroen J.A. and Neele, Thomas},
    year = {2023},
    publisher = {Springer},
    booktitle = {ICTAC 2023},
    pages = {399–416},
    series = {LNCS},
    volume = {14446},
    doi = {10.1007/978-3-031-47963-2_24},
}