@inbook{inbookca23c4ef,
title   = {Planning natural language explanations in natural deduction based systems},
author = {Nunes, Maria das Graças Volpe},
year = {1994},
publisher = {Elsevier},
journal   = {Current Issues in Mathematical Linguistics}
}