An Order-Sorted Logic with Sort Literals and Disjointness Constraints

Toni Bollinger, Udo Pletat. An Order-Sorted Logic with Sort Literals and Disjointness Constraints. In KR. pages 413-424, 1992.

Abstract

Abstract is missing.