An algorithm for disjunctive programs

Abstract
No abstract available