@inproceedings{287599,
    Author = {Nipkom, T.},
    BookTitle = {Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on},
    File = {Functional unification of higher-order patterns - Nipkom (0) (0) - a - a - j.pdf},
    Keywords = {functional programming;lambda calculus;programming theory;theorem proving;{$\lambda$}-terms;de Bruijn's notation;directly executable functional program;functional unification algorithm;higher-order patterns;transformation formulation;typed terms;untyped terms;Automatic programming;Calculus;Computer languages;Geophysical measurement techniques;Ground penetrating radar;Inference algorithms;Inference mechanisms;Logic programming},
    Pages = {64-74},
    Title = {Functional unification of higher-order patterns},
    Year = {1993},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1993.287599},
    date-added = {2014-01-25 11:58:12 +0000},
    date-modified = {2014-01-25 11:58:12 +0000},
    doi = {10.1109/LICS.1993.287599}
}

@inproceedings{287599, Author = {Nipkom, T.}, BookTitle = {Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on}, File = {Functional unification of higher-order patterns - Nipkom (0) (0) - a - a - j.pdf}, Keywords = {functional programming;lambda calculus;programming theory;theorem proving;{$\lambda$}-terms;de Bruijn's notation;directly executable functional program;functional unification algorithm;higher-order patterns;transformation formulation;typed terms;untyped terms;Automatic programming;Calculus;Computer languages;Geophysical measurement techniques;Ground penetrating radar;Inference algorithms;Inference mechanisms;Logic programming}, Pages = {64-74}, Title = {Functional unification of higher-order patterns}, Year = {1993}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1993.287599}, date-added = {2014-01-25 11:58:12 +0000}, date-modified = {2014-01-25 11:58:12 +0000}, doi = {10.1109/LICS.1993.287599} }