Year | DOI | Venue |
---|---|---|
2019 | 10.1007/s10817-018-9488-y | JOURNAL OF AUTOMATED REASONING |
DocType | Volume | Issue |
Journal | 63.0 | SP4 |
ISSN | Citations | PageRank |
0168-7433 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Clark Barrett | 1 | 1268 | 108.65 |
Temesghen Kahsai | 2 | 0 | 0.34 |