Towards Default Reasoning through MAX-SAT. - Berilhes Borges Garcia; Samuel M. Brasil Jr. (SBIA, 2002)

Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics. - Samuel M. Brasil Jr.; Berilhes Borges Garcia (ICAIL, 2003)