@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