The idea of using program transformations as a general method to index program clauses was presented in a rough form by [#!HM89!#] [#!DRRSSSW94!#] extented these ideas to factor unifications ...