Hi Pete:

thanks for the discussion yesterday. 

I went back to my dissertation (in German) and a related technical report
(in English)
about non-chronological backtracking and found the following
ideas about "minimizing" superresolvents.

In the technical report 
http://www.ccs.neu.edu/home/lieber/clause-learning/karl-complexity-superresolution.pdf
I published the idea of normal superresolvent which creates
shorter superresolvents.

On page 39 of my dissertation, I introduce the concept of
minimality of a superrresolvent. A superresolvent is minimal if
it is not polluted, independent and shortend.

I need to describe those ideas in English and compare them to the GRASP
ideas as you suggested.

-- Karl