@inproceedings{stramaglia_simplifying_2023,
    title = {{Simplifying Process Parameters by Unfolding Algebraic Data Types}},
    author = {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},
}