- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Matthias Horbach, Christoph Weidenbach: Decidability Results for Saturation-Based Model Building. CADE 2009: 404-420 |
| 3 | | Matthias Horbach, Christoph Weidenbach: Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries. CSL 2009: 332-347 |
| 2008 | ||
| 2 | | Matthias Horbach, Christoph Weidenbach: Superposition for Fixed Domains. CSL 2008: 293-307 |
| 1 | | Matthias Horbach, Christoph Weidenbach: Superposition for Fixed Domains CoRR abs/0809.0922: (2008) |
| 1 | Christoph Weidenbach | [1] [2] [3] [4] |