An Elimination Approach to Learning Algorithm Development for Boolean DNF formulae