BibTeX record conf/aisc/Kutsia02

download as .bib file

@inproceedings{DBLP:conf/aisc/Kutsia02,
  author    = {Temur Kutsia},
  title     = {Unification with Sequence Variables and Flexible Arity Symbols and
               Its Extension with Pattern-Terms},
  booktitle = {{AISC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2385},
  pages     = {290--304},
  publisher = {Springer},
  year      = {2002}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics