AUTOMATIC REASONING OVER CONTRACT CLAUSES
ORIENTADOR: Dr. Felipe Rech Meneguzzi
BANCA EXAMINADORA: Dr. Michael Luck (King`s College London), Me. Pradeep Kumar Murukannaiah (Rochester Institute of Technology), Dr. Duncan Dubugras Alcoba Ruiz (PPGCC/PUCRS)