Wolfram Kahl Determinisation of Relational Substitutions in Ordered Categories with Domain. 243-258 2008 RelMiCS http://dx.doi.org/10.1007/978-3-540-78913-0_19 conf/RelMiCS/2008 db/conf/RelMiCS/RelMiCS2008.html#Kahl08