Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-281205