BibTeX

@book{doerre:1996diss,
  title = {Feature-{L}ogik und {S}emiunifikation},
  publisher = {infix-Verlag},
  year = {1996},
  author = {D{ö}rre, Jochen},
  series = {Dissertationen zur K{ü}nstlichen Intelligenz},
  address = {Sankt Augustin, Germany},
  keywords = {constraint satisfaction,feature logic,unification,grammar formalisms}
}