Gunther Schmidt Relations Making Their Way from Logics to Mathematics and Applied Sciences. 3 2008 RelMiCS http://dx.doi.org/10.1007/978-3-540-78913-0_2 conf/RelMiCS/2008 db/conf/RelMiCS/RelMiCS2008.html#Schmidt08