| |
| 2001 | ||
|---|---|---|
| 3 | EE | Thomas Marthedal Rasmussen: Labelled Natural Deduction for Interval Logics. CSL 2001: 308-323 |
| 2 | EE | Thomas Marthedal Rasmussen: Automated Proof Support for Interval Logics. LPAR 2001: 320-329 |
| 1999 | ||
| 1 | Thomas Marthedal Rasmussen: Signed Interval Logic. CSL 1999: 157-171 | |