@InProceedings{Kahl-2008b,
  author = 	 {Wolfram Kahl},
  title = {Determinisation of Relational Substitutions in Ordered Categories with Domain},
  crossref =  {RelMiCS2008},
  pages = 	 {243--258},
  DOI = {10.1007/978-3-540-78913-0_19},
  abstract = {We present two different relational generalisations of
                  substitutions, show that they both produce locally
                  ordered categories with domain, and then develop the
                  single-morphism ``determiniser'' concept that relies
                  only on this framework, while still corresponding to
                  conventional two-morphism unification in both
                  examples. Central to this development is the
                  determinacy concept of ``characterisation by
                  domain'' introduced by Desharnais and M\"oller for
                  Kleene algebras with domain; this is here applied in
                  the weakest possible setting.}
}

@Proceedings{RelMiCS2008,
  title = {{Relations and Kleene Algebra in Computer Science ---
    10th International Conference on Relational Methods in Computer Science,
    and 5th International Conference on Applications of Kleene Algebra,
    RelMiCS/AKA 2008, Frauenw\"orth, Germany, April 7--11, 2008. Proceedings}},
  booktitle = {Relations and {Kleene}-Algebra in Computer Science, {RelMiCS/AKA 2008}},
  LNCSbooktitle = {{RelMiCS/AKA 2008}},
  year = 	 {2008},
  editor = 	 {Rudolf Berghammer and Bernhard M{\"o}ller and Georg Struth},
  volume = 	 {4988},
  series = 	 LNCS,
  publisher = Springer,
  LNCSURL = 	 {http://link.springer.de/link/service/series/0558/tocs/t4988.htm},
  URL = {http://www.springerlink.com/content/978-3-540-78912-3},
  DOI = {10.1007/978-3-540-78913-0},
  ISBN = {978-3-540-78912-3}
}