Sequential decomposition of propositional logic programs

Open in new window