Year | DOI | Venue |
---|---|---|
1992 | 10.1016/0020-0190(92)90036-U | Inf. Process. Lett. |
Keywords | Field | DocType |
truncation technique,clausal analytic tableau | Discrete mathematics,Truncation,Automated theorem proving,Binary tree,Propositional calculus,Connectivity,Ramification (botany),Completeness (statistics),Mathematics,Branching (version control) | Journal |
Volume | Issue | ISSN |
42 | 5 | 0020-0190 |
Citations | PageRank | References |
1 | 0.63 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Graham Wrightson | 1 | 43 | 15.40 |
Jo Coldwell | 2 | 17 | 5.33 |