@misc {IOPORT.70129521,
    author       = {Lingenfelder, Christoph and Pr\"acklein, Axel},
    title        = {Proof transformation with built-in equality predicate},
    howpublished = {IJCAI, 165-171 (1991).},
    year         = {1991},
    identifier   = {70129521},
}