BibTeX

@InProceedings{emele:ctrs90,
  author = {Emele, Martin and Zajac, Remi},
  title = {{A Fixed-Point Semantics for Feature Type Systems}},
  booktitle = proc # {2nd {I}nternational {W}orkshop on {C}onditional and {T}yped
	{R}ewriting {S}ystems (CTRS '90)},
  year = {1990},
  number = {516},
  series = lncs,
  pages = {383-388},
  address = pub-springer:adr,
  month = jun,
  publisher = pub-springer,
  keywords = {VerbMobil}
}