Incremental closure of free variable tableaux (2001)

by M Giese
Venue:IJCAR. Volume 2083 of LNCS