@inproceedings{xaila-2018, author = {Alkmim, Bernardo and Haeusler, Edward Hermann and Rademaker, Alexandre}, title = {Utilizing iALC to Formalize the Brazilian OAB Exam}, booktitle = {Proceedings from the EXplainable AI in Law Workshop (XAILA)}, year = {2018}, opteditor = {Grzegorz J. Nalepa and Martin Atzmueller and MichaĆ Araszkiewicz and Paulo Novais}, optvolume = {}, optnumber = {}, optseries = {}, optpages = {}, pdflink1 = {/files/xaila-2018.pdf}, slides = {/files/xaila-2018-slides.pdf}, url = {http://ceur-ws.org/Vol-2381/xaila2018_paper_2.pdf}, optmonth = {}, optaddress = {}, publisher = {CEUR-WS}, note = {http://ceur-ws.org/Vol-2381/} }