BibTeX

@incollection{koenig:1993ssc,
  author = {K{ö}nig, Esther},
  title = {A Sequent-style Calculus For Solving Recursive Type Equations},
  booktitle = {Feature Formalisms And Linguistic Ambiguity},
  publisher = {Ellis Horwood},
  year = {1993},
  editor = {Trost, Harald},
  pages = {159-172},
  address = {Chichester, England},
  note = {{P}roceedings of the ECAI'92 Workshop on Coping with Linguistic Ambiguity
	in Typed Feature Formalisms},
  keywords = {constraint-logic programming},
  postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/rec_type_eq.ps.gz}
}