@ARTICLE\{IMM2005-05042,
    author       = "J. Villadsen",
    title        = "Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency",
    year         = "2005",
    pages        = "45-58",
    journal      = "Journal of Applied Non-Classical Logics",
    volume       = "15",
    editor       = "",
    number       = "",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5042-full.html",
    isbn_issn    = "{ISSN} 1166-3081"
}