Lemmatization in semantic strategies
I studied lemmaizing and caching techniques
as a way of combining forward and backward reasoning in semantic resolution
strategies.
This approach allows one to understand lemmatization as a meta-level inference rule,
and covers lemmatization in model elimination as a special case:

Maria Paola Bonacina