Aguado, JoaquinMendler, Michael2019-09-192014-09-2420081571-0661https://fis.uni-bamberg.de/handle/uniba/18126engElectronic Notes in Theoretical Computer Scienceperiodicalpart