@MISC\{IMM2001-01174,
    author       = "M. P. Lindegaard",
    title        = "Proof Support for {RAISE}",
    year         = "2001",
    month        = "oct",
    keywords     = "{RSL,} {RAISE,} Isabelle, {HOL,} proof support, institutions.",
    pages        = "14",
    publisher    = "Technical University of Denmark",
    address      = "{DTU,} {DK-}2800 Kgs. Lyngby",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1174-full.html",
    isbn_issn    = "IMM-TR-2001-12"
}