@INPROCEEDINGS {5820, author={M.P.G. Gouveia and C. Sernadas}, doi={}, booktitle={International Workshop on the Deductive Approach to Information Systems and Databases}, title={Reasoning aspects in information systems and databases}, year={1993}, month={September}, volume={1}, pages={201-224} }Create and download bib file