# | | Year | | Title | Type | |
| | 1996 | | Reflection using the derivability conditions
In: Logic and Algebra, 603-616 | Part of a Book | |
1 |
| Matthews, Smaill, Basin [-] |
| |
1 |
| Meter [-] |
| |
2 |
| |
1 |
| Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| |
1 |
| Mukhopadhyay [-] |
| |
2 |
| Mukhopadhyay, Podelski [-] |
| |
1 |
| Mukhopadhyay, Podelski [Koenig, Holte] |
| |
1 |
| Mukhopadhyay, Podelski [Ramakrishnan] |
| |
1 |
| Mukhopadhyay, Podelski [Ramanujam, Raman] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Smolka] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren] |
| |
1 |
| Naumann [-] |
| |
1 |
| |
1 |
| Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow] |
| |
1 |
| |
3 |
| Nonnengart [-] |
| |
1 |
| |
1 |
| Nonnengart [MacNish, Pearce, Pereira] |
| |
1 |
| Nonnengart [McRobbie, Slaney] |
| |
1 |
| Nonnengart, Ohlbach [Bläsius, Bürckert] |
| |
1 |
| Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay] |
| |
1 |
| Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach] |
| |
1 |
| Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner] |
| |
1 |
| Nonnengart, Szalas [Szalas, Orlowska] |
| |
1 |
| Nonnengart, Weidenbach [Robinson, Voronkov] |
| |
8 |
| Ohlbach [-] |
| |
1 |
| Ohlbach [McRobbie, Slaney] |
| |