TY  - RPRT
TI  - Towards a More User-friendly Correction
AU  - Damien Genthial
AU  - Jacques Courtin
AU  - Jacques Menezo Equipe Trilan
PY  - 1994
UR  - https://arxiv.org/abs/cmp-lg/9410031
ID  - cmp-lg/9410031
ER  -