Boudet00'

BibTeX

@article{DBLP:journals/dmtcs/Boudet00,
  author    = {Alexandre Boudet},
  title     = {Unification of Higher-order Patterns modulo Simple Syntactic
               Equational Theories},
  journal   = {Discrete Mathematics {\&} Theoretical Computer Science},
  volume    = {4},
  number    = {1},
  year      = {2000},
  pages     = {11-30},
  ee        = {http://dmtcs.loria.fr/volumes/abstracts/dm040102.abs.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}