- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Angelo Brillout, Daniel Kroening, Thomas Wahl: Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR abs/0811.3521: (2008) |
| 1 | Daniel Kroening (Daniel Kröning) | [1] |
| 2 | Thomas Wahl | [1] |