DMCA

Deduction by Combining Semantic Tableaux and Integer Programming (1996)

Cached

Download Links

by Bernhard Beckert , Reiner Hähnle