Completion-Time Optimization of Rewrite-Time Goal Solving.

Hubert Bertling Harald Ganzinger Completion-Time Optimization of Rewrite-Time Goal Solving. 45-58 1989 conf/rta/1989 RTA db/conf/rta/rta89.html#BertlingG89 http://dx.doi.org/10.1007/3-540-51081-8_99