Incremental closure of free variable tableaux (2001)

View PDF

Download Links

by Martin Giese
Venue:Proc. Intl. Joint Conf. on Automated Reasoning IJCAR
Citations:35 - 6 self