@TechReport{van Leusen:1997,
AUTHOR = {van Leusen, Noor},
TITLE = {The Role of Inference in the resolution of corrections},
YEAR = {1997},
MONTH = {December},
NUMBER = {93},
ADDRESS = {Saarbrücken},
TYPE = {CLAUS-Report},
INSTITUTION = {Universität des Saarlandes} }
