@INPROCEEDINGS {4203,
author={M.P.G. Gouveia and F. Dionísio and J. Marcos},
doi={},
booktitle={Simpósio Latinoamericano de Lógica Matemática - SLALM},
title={Teaching and experimenting with deductive systems using a generic proof assistant},
year={2006},
month={August},
volume={ 1},
pages={49-50} 
}