Marc Bezem
Marc Bezem, Jan Willem Klop, and Vincent van Oostrom.
Diagram techniques for confluence.
Information and Computation
, 141(2):172-204, 15 March 1998.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database