Hyperresolution for guarded formulae (2000)

by Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt
Venue:J. Symbolic Computat
Citations:15 - 9 self