System Support for Modular Order-Sorted Horn Clause Specifications

@inproceedings{Ganzinger-Schaefers:ICSE90,
  author    = {Harald Ganzinger and
               Renate Sch{\"{a}}fers},
  title     = {System Support for Modular {Order-Sorted} Horn Clause Specifications},
  booktitle = {ICSE},
  pages     = {150--159},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}