Silvio Ghilardi Manfred Schmidt-Schauß Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. UNIF 2016 db/conf/unif/unif2016.html http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf