Silva, J.2022-03-022022-03-022019978-3-030-16201-6978-3-030-16202-3https://publica.fraunhofer.de/handle/publica/166561Functional and Constraint Logic Programming. 26th International Workshop, WFLP 2018