@InProceedings{DHK95,
    Author       = "Dowek, G. and Hardin, T. and Kirchner, C.",
    Year         = "1995",
    Title        = "{Higher-order Unification via Explicit Substitutions}",
    Editor       = "Kozen, D.",
    BookTitle    = "{Proceedings of the 10th Annual IEEE Symposium on Logic in
                    Computer Science}",
    Place        = "San Diego, USA",
    Pages        = "366-374",
    Publisher    = "IEEE Computer Society Press",
    Comment      = "TPTPRef"
}