| 2009 | ||
|---|---|---|
| 3 | Christian Kissig, Yde Venema: Complementation of Coalgebra Automata. CALCO 2009: 81-96 | |
| 2004 | ||
| 2 | Anni-Yasmin Turhan, Christian Kissig: Sonic: System Description. Description Logics 2004 | |
| 1 | Anni-Yasmin Turhan, Christian Kissig: Sonic - Non-standard Inferences Go OilEd. IJCAR 2004: 321-325 | |
| 1 | Anni-Yasmin Turhan | [1] [2] |
| 2 | Yde Venema | [3] |