"Automatic high-quality reengineering of
database programs using temporal abstraction".

There are two versions of the paper. The first is the ASE (automatic
software engineering) conference short paper. The second is the TOSEM
(transactions on software engineering and maintenance) journal longer
version.

The paper can be downloaded from either
http://www1.idc.ac.il/yishai/ or http://www.cs.tau.ac.il/~uniface/.