Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (long version) (1997)

Cached

Download Links

by Nicolas Peltier
Citations:5 - 0 self