Utilizing iALC to Formalize the Brazilian OAB Exam.

Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker

Browse the full JURIX paper archive.