On syntactically similar logic programs and sequential decompositions

Open in new window