 | Year | | Title | BibTeX cite key | |
|---|
 | Kasper |
| |
|
| |
| Kazakov, de Nivelle |
| |
|
| |
| Korovin |
| |
|
| |
| Kraan, Basin, Bundy |
| |
|
| |
| Krishna Rao |
| |
| Krishna Rao, Shyamasundar |
| |
| Kupferschmid, Hoffmann, Dierks, Behrmann |
| |
| Lang, van der Torre, Weydert |
| |
| Lee |
| |
|
| |
| Letz, Stenz |
| |
|
| |
| Leven |
| |
|
| |
| Lilith, Billington, Freiheit |
| |
|
| |
| Lu, Wu |
| |
|
| |
| Madden, Bundy |
| |
|
| |
| Madden, Green |
| |
|
| |
| Makinson, van der Torre |
| |
| Malkis, Podelski, Rybalchenko |
| |
| Matthews |
| |
|
| |
| Matthews, Simpson |
| |
|
| |
| Meter |
| |
|
| |
| Meyer, Faber, Rybalchenko |
| |
|
| |
| Müller, Niehren, Podelski |
| |
|
| |
| Mukhopadhyay, Podelski |
| |
|
| |
| Nielson, Seidl |
| |
| Nieuwenhuis, Hillenbrand, Riazanov, Voronkov |
| |
| Nivat, Podelski |
| |
|
| |
| Nonnengart, Ohlbach |
| |
| Nonnengart, Ohlbach, Gabbay |
| |
| Nonnengart, Ohlbach, Szalas |
| |
| Nonnengart, Rock, Weidenbach |
| |
| Nonnengart, Szalas |
| |
|
| |
| Ohlbach |
| |
|
| |
| Ohlbach, Koehler |
| |
|
| |
| Ohlbach, Schmidt, Hustadt |
| |
|
| |
| Ohlbach, Weidenbach |
| |
|
| |
| Piskac |
| |
|
| |
| Pnueli, Podelski, Rybalchenko |
| |
|
| |
| Podelski (ed.) |
| |
|
| |
| Podelski, Charatonik, Müller |
| |
|
| |
| Podelski, Rybalchenko, Cook |
| |
| Podelski, Schaefer, Wagner |
| |
| Podelski, Smolka |
| |
|
| |
| Podelski, Wies |
| |
|
| |
| Prevosto, Boulmé |
| |
|
| |
| Rahman, Rückert, Fischmann |
| |
|
| |
| Ratschan, She |
| |
|
| |
| Ratschan, Vehi |
| |
|
| |
| Reinold |
| |
|
| |
| Rybalchenko |
| |
| Rybalchenko, Sofronie-Stokkermans |
| |
| Schäf |
| |
|
| |
| Schmidt |
| |
|
| |
| Schmidt, Orłowska, Hustadt |
| |
|
| |
| Schmidt, Tishkovsky, Hustadt |
| |
|
| |
| She, Ratschan |
| |
|
| |
| Simon, Freiheit, Olbrich |
| |
|
| |
| Socher-Ambrosius |
| |
|
| |
| Sofronie-Stokkermans, Stokkermans |
| |
|
| |
| Stuber |
| |
|
| |
| Talbot |
| |
|
| |
| Talbot, Niehren, Müller |
| |
| Thiebaux, Hoffmann, Nebel |
| |
| Timm |
| |
|
| |
| Tzakova |
| |
|
| |
| van der Torre, Tan |
| |
|
| |
| Veanes |
| |
|
| |
| Viganò |
| |
|
| |
| Vorobyov, Voronkov |
| |
|
| |
| Wagner, Podelski |
| |
|
| |
| Wang |
| |
|
| |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić |
| |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić |
| |
| Weidenbach, Gaede, Rock |
| |
| Weidenbach, Meyer, Cohrs, Engel, Keen |
| |
| Werner, Bockmayr, Krischer |
| |
|
| |
| Weydert, Brewka, Witteveen (ed.) |
| |
|
| |
| Wies |
| |
| Wies, Kuncak, Lam, Podelski, Rinard |
| |
| Wu |
| |
|
| |
| Wu, Lu |
| |
|
| |
| Xia, Yang |
| |
| Yoshida, Bundy, Green, Walsh, Basin |
| |
| Yuan, Billington, Freiheit |
| |
|
| |
