# | | 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 [-] |
| |
| | 1998 | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article | |
2 |
| Bachmair, Ganzinger, Waldmann [-] |
| |
1 |
| Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici] |
| |
1 |
| Bachmair, Ganzinger, Waldmann [Bachmair] |
| |
1 |
| |
2 |
| Backes, Wetzel [Wetzel] |
| |
1 |
| Ball, Podelski, Rajamani [Ball, Rajamani] |
| |
1 |
| Barnett, Basin, Hesketh [-] |
| |
5 |
| |
6 |
| Barth, Bockmayr [-] |
| |
1 |
| |
1 |
| Barth, Kleine Büning, Weidenbach [Kleine Büning] |
| |
5 |
| |
1 |
| Basin, Brown, Leeser [-] |
| |
1 |
| Basin, Bundy, Kraan, Matthews [-] |
| |
1 |
| Basin, Constable [-] |
| |
1 |
| |
1 |
| Basin, Friedrich [von Wright, Grundy, Harrison] |
| |
1 |
| |
1 |
| Basin, Ganzinger [Basin] |
| |
1 |
| Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann] |
| |