Name
Year | Venue | DocType |
|---|---|---|
2006 | Deduction and Applications | Conference |
Volume | Citations | PageRank |
05431 | 6 | 2.92 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Franz Baader | 1 | 8123 | 646.64 |
| Peter Baumgartner | 2 | 6 | 3.59 |
| Robert Nieuwenhuis | 3 | 1405 | 93.78 |
| Andrei Voronkov | 4 | 2670 | 225.46 |