The sat-tableau calculus (0)

by U Keller, Stijn Heymans
Venue:Technology Institute (STI), University of Innsbruck