Hyperresolution for Guarded Formulae (2003)

by L Georgieva, U Hustadt, R A Schmidt
Venue:Journal of Symbolic Computation