| # |  | Year | | Title | Type | |
|---|
| 1 |
![Show details for Baader, Ohlbach [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baader, Ohlbach [-] |
| |
| 1 |
| |
| 10 |
| Bachmair, Ganzinger [-] |
| |
| 1 |
| Bachmair, Ganzinger [Bachmair] |
| |
| 1 |
| Bachmair, Ganzinger [Robinson, Voronkov] |
| |
| 1 |
| Bachmair, Ganzinger, Lynch, Snyder [-] |
| |
| 1 |
| Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder] |
| |
| 1 |
| Bachmair, Ganzinger, Stuber [-] |
| |
| 1 |
| Bachmair, Ganzinger, Voronkov [-] |
| |
| 2 |
| Bachmair, Ganzinger, Waldmann [-] |
| |
| 1 |
| Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici] |
| |
| 1 |
| Bachmair, Ganzinger, Waldmann [Bachmair] |
| |
| 1 |
| Backes [-] |
| |
| 2 |
| |
| 1 |
| Ball, Podelski, Rajamani [Ball, Rajamani] |
| |
| 1 |
| Barnett, Basin, Hesketh [-] |
| |
| 5 |
| Barth [-] |
| |
| 6 |
| |
| 1 |
| Barth, Bockmayr [Barth] |
| |
| 1 |
| Barth, Kleine Büning, Weidenbach [Kleine Büning] |
| |
| 5 |
| Basin [-] |
| |
| 1 |
| |
| 1 |
| Basin, Bundy, Kraan, Matthews [-] |
| |
| 1 |
| |
| 1 |
| Basin, Friedrich [-] |
| |
| 1 |
| Basin, Friedrich [von Wright, Grundy, Harrison] |
| |
| 1 |
| Basin, Ganzinger [-] |
| |
| 1 |
| |
| 1 |
| Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann] |
| |
| 1 |
| Basin, Giunchiglia, Traverso [-] |
| |
