@Article{DMS06,
    Author       = "Desharnais, J. and M{\"o}ller, B. and Struth, G.",
    Year         = "2006",
    Title        = "{Kleene Algebra with Domain}",
    Journal      = "ACM Transactions on Computational Logic",
    Volume       = "7",
    Number       = "4",
    Pages        = "798-833",
    Comment      = "TPTPRef"
}