@incollection{Ceusters-etal2003-under,
  author	= {Ceusters, Werner and Desimpel, Ignace and Smith, Barry and Schulz, Stefan},
  URL		= {http://ontology.buffalo.edu/medo/underspecification.pdf},
  pdf		= {http://ontology.buffalo.edu/medo/underspecification.pdf},
  title		= {Underspecification in Formal Ontologies},
  booktitle	= {Medical Informatics Europe 2003},
  publisher	= {IOS Press},
  address	= {Amsterdam},
  year		= {2003},
  pages		= {391--396}
}