Typing confluence (1997)

by Uwe Nestmann, Martin Steffen
Venue:In Second International ERCIM Workshop on Formal Methods in Industrial Critical Systems