 | Year | | Title | BibTeX cite key | |
|---|
 | Cantu, Bundy, Smaill, Basin |
| |
|
| |
| Charatonik |
| |
|
| |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot |
| |
| Charatonik, Georgieva, Maier |
| |
| Charatonik, Gordon, Talbot |
| |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz |
| |
| Charatonik, Mukhopadhyay, Podelski |
| |
|
| |
| Charatonik, Podelski, Talbot |
| |
|
| |
| Chaudhuri, Dimopoulos, Zaroliagis |
| |
|
| |
| Chu, Plaisted |
| |
| Claus, Hopf, Schwefel (ed.) |
| |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi |
| |
| Cook, Podelski, Rybalchenko |
| |
| Cortier, Ganzinger, Jacquemard, Veanes |
| |
| Cunningham, Gabbay, Ohlbach |
| |
| Cuntz, Freiheit, Kindler |
| |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz |
| |
| Damm, Pinto, Ratschan |
| |
| Daum, Maus, Schirmer, Seghir |
| |
| de Nivelle |
| |
| de Nivelle, Areces, de Rijke |
| |
| de Nivelle, Baumgartner, Fuchs, Tinelli |
| |
| de Nivelle, Bezem, Hendriks |
| |
| de Nivelle, Blackburn, Bos, Kohlhase |
| |
|
| |
