Unification Theory

F. BaaderF. Baader, J.H. SiekmannJ.H. Siekmann

F. Baader, J.H. Siekmann
Unification Theory
In D.M. {Gabbay} and C.J. {Hogger} and J.A. {Robinson}, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 41--125. Oxford University Press, 1994

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@incollection{ BaaderSiekmann-Handbook-94,
  address = {Oxford, UK},
  author = {F. {Baader} and J.H. {Siekmann}},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming},
  editor = {D.M. {Gabbay} and C.J. {Hogger} and J.A. {Robinson}},
  pages = {41--125},
  publisher = {Oxford University Press},
  title = {Unification Theory},
  year = {1994},
}