# | | Year | | Title | Type | |
1 |
| Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin] |
| |
1 |
| Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov] |
| |
1 |
| Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner] |
| |
1 |
| |
1 |
| Anderson, Basin [-] |
| |
1 |
| Anderson, Basin [Anderson] |
| |
1 |
| Antoy, Echahed, Hanus [Antoy, Echahed] |
| |
1 |
| Areces, de Rijke, de Nivelle [Areces, de Rijke] |
| |
1 |
| Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno] |
| |
1 |
| |
1 |
| Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner] |
| |
1 |
| |
2 |
| Ayari, Basin [-] |
| |
1 |
| |
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 [-] |
| |
| | 1994 | | Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212 | Journal Article | |
| | 1992 | | Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | Proceedings Article | |
1 |
| Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici] |
| |
1 |
| Bachmair, Ganzinger, Waldmann [Bachmair] |
| |
1 |
| Backes [-] |
| |
2 |
| |