论文信息 - Improvements of a Tautology-Testing Algorithm - 字舞流文

Improvements of a Tautology-Testing Algorithm

Wolfgang Bibel | K. M. Hörnig

[1] Wolfgang Bibel. A Comparative Study of Several Proof Procedures , 1982, Artif. Intell..

[2] Wolfgang Bibel,et al. On Matrices with Connections , 1981, JACM.