2022-03-022022-03-022352-2208https://publica.fraunhofer.de/handle/publica/121122Journal of logical and algebraic methods in programming