- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 3 |      | Thomas Marthedal Rasmussen: Labelled Natural Deduction for Interval Logics. CSL 2001: 308-323 |
| 2 | | 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 |