Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations

Jürgen Dix, Georg Gottlob, V. Wiktor Marek. Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundamenta Informaticae, 28(1-2):87-100, 1996.

Abstract

Abstract is missing.