@techreport{TR-IC-PFG-21-11,
   number = {IC-PFG-21-11},
   author  = {Sakabe, Eduardo Y. and Gudwin, Ricardo R. and Colombini,
                   Esther L.},
   title   =   {{An   open-world   first-order   logic  reasoner  with 
                   justification}},
   month = {August},
   year = {2021},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 32 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       This  paper  explores  the key concepts and methods towards the
       development  of  an  open-world first-order logic reasoner with
       step-by-step   justification.   It  covers  the  fundaments  of 
       classical  logic  to theorem proving algorithms and key methods
       for  developing  a reasoner. Lastly, it presents the reasoner's
       results through logic exercises.
  }
}