Implementation of a Universal Unification Algorithm for Macro Tree Transducers

Heinz Faßbender. Implementation of a Universal Unification Algorithm for Macro Tree Transducers. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 222-233, Springer, 1993.

@inproceedings{Fassbender93,
  title = {Implementation of a Universal Unification Algorithm for Macro Tree Transducers},
  author = {Heinz Faßbender},
  year = {1993},
  tags = {macros},
  researchr = {https://researchr.org/publication/Fassbender93},
  cites = {0},
  citedby = {0},
  pages = {222-233},
  booktitle = {Fundamentals of Computation Theory, 9th International Symposium, FCT  93, Szeged, Hungary, August 23-27, 1993, Proceedings},
  editor = {Zoltán Ésik},
  volume = {710},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57163-9},
}