@book {IOPORT.10002974,
    author       = {Huang, Xiaorong},
    title        = {Human oriented proof presentation - a reconstructive approach},
    year         = {1996},
    isbn         = {978-3-89601-112-1},
    pages        = {1-174},
    publisher    = {Infix},
    identifier   = {10002974},
}