@article{BeierleHedtstueck_et_al92_Journal_AI,
   AUTHOR = "C. Beierle and U. Hedtst{\"{u}}ck and U. Pletat
             and P. H. Schmitt and J. Siekmann",
   TITLE = "An Order-Sorted Logic for Knowledge Representation Systems",
   JOURNAL = "Artificial Intelligence",
   VOLUME = 55,
   NUMBER = "2--3",
   PAGES = "149--191",
   YEAR = 1992     }