Reductions for non-clausal theorem proving (2001)

by G Aguilera, I P de Guzman, M Ojeda–Aciego, A Valverde
Venue:Theoretical Computer Science