Reconciling first-order logic to algebra
(Walter Carnielli, Hugo Luiz Mariano, Mariana Matulovic)

Published: 2017-10-19