@phdthesis{
    HUT-TCS-A41,
    author = "Rintanen, Jussi",
    institution = "Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory",
    title = "Lexicographic Ordering as a Basis of Priorities in Default Reasoning",
    year = "1996",
    number = "A41",
    month = "December",
    note = "Doctoral dissertation",
    address = "Espoo, Finland",
    owner = "MM",
    type = "Research Report",
    pages = "vi+187"
}