An Order-Sorted Logic with Sort Literals and Disjointness Constraints.

Toni Bollinger, Udo Pletat

Browse the full KR paper archive.