Wolfgang Bibel. Tautology Testing with a Generalized Matrix Reduction Method. Theoretical Computer Science, 8:31-44, 1979.
@article{Bibel79, title = {Tautology Testing with a Generalized Matrix Reduction Method}, author = {Wolfgang Bibel}, year = {1979}, tags = {testing}, researchr = {https://researchr.org/publication/Bibel79}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {8}, pages = {31-44}, }