| 2003 | ||
|---|---|---|
| 2 | Samuel M. Brasil Jr., Berilhes Borges Garcia: Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics. ICAIL 2003: 195-203 | |
| 2002 | ||
| 1 | Berilhes Borges Garcia, Samuel M. Brasil Jr.: Towards Default Reasoning through MAX-SAT. SBIA 2002: 52-62 | |
| 1 | Berilhes Borges Garcia | [1] [2] |