@inproceedings{DO08,
  author = {Dehornoy, Patrick and Oostrom, Vincent van},
  title = {Z, proving confluence by monotonic single-step upperbound functions},
  booktitle = {Logical Models of Reasoning and Computation (LMRC'2008)},
  year = 2008
}

