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 |
| |
2 |
| Baumgartner, Fuchs, Tinelli |
| |
2 |
| Baumgartner, Furbach, Gross-Hardt, Kleemann |
| |
1 |
| Baumgartner, Furbach, Gross-Hardt, Sinner |
| |