@INPROCEEDINGS {5821,
author={M.P.G. Gouveia and C. Sernadas and J. Gomes and J. Apolinário},
doi={},
booktitle={Workshop on Theorem Proving with Analytic Tableaux and Related Methods},
title={Tableaux for reasoning about objects},
year={1993},
month={April},
volume={1},
pages={113-125} 
}
Create and download bib file