# | | Year | | Title | Type | |
3 |
| Madden [-] |
| |
1 |
| |
1 |
| Madden, Bundy, Smaill [Bundy, Smaill] |
| |
1 |
| |
3 |
| Maier [-] |
| |
1 |
| |
1 |
| Maier [Marcinkowski, Tarlecki] |
| |
1 |
| Maier [Orejas, Spirakis, van Leeuwen] |
| |
2 |
| Makinson, van der Torre [Makinson] |
| |
1 |
| Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary] |
| |
5 |
| |
2 |
| Matthews, Basin [Basin] |
| |
1 |
| Matthews, Simpson [Simpson] |
| |
1 |
| Matthews, Smaill, Basin [-] |
| |
1 |
| |
2 |
| Meyer [-] |
| |
| | 1999 | | Soft Typing for Clausal Inference Systems
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1996 | | Parallel Unit Resulting Resolution
Universität des Saarlandes | Thesis - Masters thesis | |
1 |
| Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| Mohr [-] |
| |
1 |
| |
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 |
| |