# | | Year | | Title | Type | |
1 |
| Cantu, Bundy, Smaill, Basin |
| |
2 |
| |
| | 1994 | | Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122 | Journal Article | |
| | 1993 | | On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744 | Journal Article | |
4 |
| Charatonik |
| |
1 |
| |
3 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot |
| |
1 |
| Charatonik, Georgieva, Maier |
| |
1 |
| Charatonik, Gordon, Talbot |
| |
1 |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz |
| |
2 |
| Charatonik, Mukhopadhyay, Podelski |
| |
6 |
| |
1 |
| Charatonik, Podelski, Talbot |
| |
2 |
| |
1 |
| Chaudhuri, Dimopoulos, Zaroliagis |
| |
1 |
| |
1 |
| Chu, Plaisted |
| |
1 |
| Claus, Hopf, Schwefel (ed.) |
| |
1 |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi |
| |
4 |
| Cook, Podelski, Rybalchenko |
| |
1 |
| Cortier, Ganzinger, Jacquemard, Veanes |
| |
1 |
| Cunningham, Gabbay, Ohlbach |
| |
1 |
| Cuntz, Freiheit, Kindler |
| |
1 |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz |
| |
1 |
| Damm, Pinto, Ratschan |
| |
1 |
| Daum, Maus, Schirmer, Seghir |
| |
7 |
| de Nivelle |
| |
1 |
| de Nivelle, Areces, de Rijke |
| |
1 |
| de Nivelle, Baumgartner, Fuchs, Tinelli |
| |
1 |
| de Nivelle, Bezem, Hendriks |
| |