A Tool for Automatic Reasoning Over Decision Documentation Using gUFO. - Bruno G. Carneiro; Renata S. S. Guizzardi (ONTOBRAS, 2020)