On the Complexity of Monotonic Inheritance with Roles. - Ramiro A. de T. Guerreiro; Andrea S. Hemerly; Yoav Shoham (AAAI, 1990)

Contributions to a Proof Theory for Generic Defaults. - Ramiro A. de T. Guerreiro; Marco A. Casanova; Andrea S. Hemerly (ECAI, 1990)

Cooperative Behavior Through Request Modification. - Andrea S. Hemerly; Marco A. Casanova; António L. Furtado 001 (ER, 1991)

A Declarative Conceptual Modelling Language: Description and Example Applications. - Marco A. Casanova; Andrea S. Hemerly; António L. Furtado 001 (CAiSE, 1992)

Explaining SLDNF resolution with non-normal defaults. - Marco A. Casanova; Andrea S. Hemerly; Ramiro A. de T. Guerreiro (IBM J. Res. Dev., 1992)

STORK and PENGUIN: Logic programming systems using general clauses and defaults. - Ramiro A. de T. Guerreiro; Andrea S. Hemerly; Marco A. Casanova (IBM J. Res. Dev., 1992)

Towards Cooperativeness in Geographic Databases. - Andrea S. Hemerly; António L. Furtado 001; Marco A. Casanova (DEXA, 1993)

Avoiding Misconstruals in Database Systems: A Default Logic Approach. - Andrea S. Hemerly; Marco A. Casanova; António L. Furtado 001 (IEEE Trans. Knowl. Data Eng., 1993)