Conjunctive partial deduction ScienceDirect com
glmkdums