@INPROCEEDINGS {5818,
author={M.P.G. Gouveia and C. Sernadas},
doi={},
booktitle={Workshop on Theorem Proving with Analytic Tableaux and Related Methods},
title={Abduction in temporal object specification using tableaux},
year={1995},
month={May},
volume={1},
pages={43-48} 
}
Create and download bib file