@Misc{BrancalhaoSoviersovski19,
   author       = {Gabriele Rodrigues Brancalhão and Gustavo
                     Aschwanden Soviersovski},
   title        = {Insatisfazibilidade Minimal: Complexidade e
                     Algoritmos},
   type = {Trabalho de Conclusão de Curso},
   howpublished = {Trabalho de Conclusão de Curso do Bacharelado em
                     Ciência da Computação da UFPR},
   institution   = {BCC/UFPR},
   month        = jul,
   year         = {2019}
}

{"_id":"BGGxWm9s5dobAvAMi","bibbaseid":"brancalho-soviersovski-insatisfazibilidademinimalcomplexidadeealgoritmos-2019","authorIDs":[],"author_short":["Brancalhão, G. R.","Soviersovski, G. A."],"bibdata":{"bibtype":"misc","type":"Trabalho de Conclusão de Curso","author":[{"firstnames":["Gabriele","Rodrigues"],"propositions":[],"lastnames":["Brancalhão"],"suffixes":[]},{"firstnames":["Gustavo","Aschwanden"],"propositions":[],"lastnames":["Soviersovski"],"suffixes":[]}],"title":"Insatisfazibilidade Minimal: Complexidade e Algoritmos","howpublished":"Trabalho de Conclusão de Curso do Bacharelado em Ciência da Computação da UFPR","institution":"BCC/UFPR","month":"July","year":"2019","bibtex":"@Misc{BrancalhaoSoviersovski19,\n author = {Gabriele Rodrigues Brancalhão and Gustavo\n Aschwanden Soviersovski},\n title = {Insatisfazibilidade Minimal: Complexidade e\n Algoritmos},\n type = {Trabalho de Conclusão de Curso},\n howpublished = {Trabalho de Conclusão de Curso do Bacharelado em\n Ciência da Computação da UFPR},\n institution = {BCC/UFPR},\n month = jul,\n year = {2019}\n}\n\n","author_short":["Brancalhão, G. R.","Soviersovski, G. A."],"key":"BrancalhaoSoviersovski19","id":"BrancalhaoSoviersovski19","bibbaseid":"brancalho-soviersovski-insatisfazibilidademinimalcomplexidadeealgoritmos-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"misc","biburl":"http://www.inf.ufpr.br/arg/universal2016/orientacoes.bib","creationDate":"2019-08-05T15:17:02.782Z","downloads":0,"keywords":[],"search_terms":["insatisfazibilidade","minimal","complexidade","algoritmos","brancalhão","soviersovski"],"title":"Insatisfazibilidade Minimal: Complexidade e Algoritmos","year":2019,"dataSources":["Raee3ruyuhmzCg93Q","zM4PZJhTBjBtW2gjb"]}