@inproceedings{inproceedingsc6bafe6e,
title   = {Planning natural language explanation in natural deduction based systems},
author = {Nunes, Maria das Graças Volpe},
year = {1993},
publisher = {North-Holland},
booktitle   = {International Conference on Mathematical Linguistics}
}