Fundamenta informaticae, Vol.163(2), pp. 111-138 Zeitschrift uri icon