@incollection{BeierleHedtstueckPS91BOOK,
   AUTHOR = "C. Beierle and U. Hedtst{\"{u}}ck and U. Pletat and J. Siekmann",
   TITLE = "An Order-Sorted Predicate Logic with Closely Coupled Taxonomic
            Information",
   BOOKTITLE = "Many Sorted Logic and its Applications",
   EDITOR = "J. V. Tucker and K. Meinke",
   PUBLISHER = {John Wiley \& Sons, Ltd.},
   ADDRESS = {London},
   YEAR = 1993,
   PAGES = "179--211"                 }