Gust, HelmarHelmarGust0000-0002-1301-0326Schmid, UteUteSchmidKühnberger, Kai-UweKai-UweKühnberger2019-09-192014-09-242003https://fis.uni-bamberg.de/handle/uniba/11621engAnti-unification of axiomatic systemsworkingpaper