@MASTERSTHESIS\{IMM1999-01916,
    author       = "T. M. Rasmussen",
    title        = "Signed Interval Logic",
    year         = "1999",
    school       = "Department of Information Technology, Technical University of Denmark",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1916-full.html"
}