2 |
| Bachmair, Ganzinger, Lynch, Snyder |
| |
1 |
| Bachmair, Ganzinger, Stuber |
| |
1 |
| Bachmair, Ganzinger, Voronkov |
| |
4 |
| Bachmair, Ganzinger, Waldmann |
| |
1 |
| Barth, Kleine Büning, Weidenbach |
| |
1 |
| Basin, Bundy, Kraan, Matthews |
| |
1 |
| Basin, Giunchiglia, Kaufmann (ed.) |
| |
1 |
| Basin, Giunchiglia, Traverso |
| |