Counter lattice generation for non-provable formulas / by Andreas Zugaj. 2006
Inhalt