Incremental closure of free variable tableaux (2001)

by Martin Giese
Venue:In Proceedings, InternationalJoint Conference on Automated Reasoning (IJCAR