Gabriel Aguilera Inman P. de Guzmán Manuel Ojeda-Aciego Increasing the efficiency of automated theorem proving. 1995 5 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl5.html#AguileraGO95