BibTeX

@incollection{koenig:1993eda,
  author = {K{ö}nig, Esther},
  title = {An Efficient Decision Algorithm for Feature Logic},
  booktitle = {GWAI-92: Advances in Artificial Intelligence. 16th German Conference
	on Artificial Intelligence, Bonn},
  publisher = {Springer},
  year = {1993},
  editor = {Ohlbach, Hans-J{ü}rgen},
  volume = {671},
  series = {Lecture Notes on Artificial Intelligence},
  pages = {255-266},
  address = {Berlin},
  keywords = {constraint-logic programming},
  postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/disj_unification.ps.gz}
}