@MASTERSTHESIS{ 2020:1210972958,
 	title = {Multi-model approach to identify potential problems in a contract},
 	year = {2020},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/9244",
 	abstract = "Os contratos sustentam a maioria das transa??es comerciais modernas, definindo os deveres e obriga??es das partes relacionadas em um contrato, e garantir que esses contratos estejam livres de erros ? crucial para a sociedade moderna. A an?lise de um contrato requer a compreens?o das rela??es l?gicas entre cl?usulas e a identifica??o de poss?veis contradi??es, que, por sua vez, dependem de esfor?os humanos para entender cada cl?usula no qual s?o suscet?veis a erro. Neste trabalho, desenvolvemos uma abordagem para automatizar essas an?lises, identificando rela??es l?gicas e detectando poss?veis conflitos nas cl?usulas contratuais. A abordagem resultante deve ajudar os autores do contrato a detectar poss?veis conflitos l?gicos entre as cl?usulas.",
 	publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul},
 	scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o},
 	note = {Escola Polit?cnica}
}