# | | Year | | Title | Type | |
1 |
| 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 |
| |
| | 2001 | | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | Journal Article | |
1 |
| Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann] |
| |