Simplifying and generalizing formulae in tableaux. Pruning the search space and building models

From MaRDI portal
Publication:4610336