| |
| 2009 | ||
|---|---|---|
| 1 | EE | Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009) |
| 1 | Carlos Areces | [1] |
| 2 | Patrick Blackburn | [1] |
| 3 | Guillaume Hoffmann | [1] |