Hyperresolution for guarded formulae (2000)

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