@inproceedings{Kri:Sch:95,
  author = {Hans-Ulrich Krieger and Ulrich Sch{\"a}fer},
  title = {Efficient Parameterizable Type Expansion for Typed
           Feature Formalisms},
  booktitle = {Proceedings of the 14th {I}nternational {J}oint {C}onference on
               {A}rtificial {I}ntelligence},
  pages = {1428$\,$--$\,$1434},
  year = 1995,
  address = {San Francisco, CA}
}