Optimization of Relational Expressions Using a Logical Analogon. - Gerrit A. Blaauw; A. J. W. Duijvestijn; R. A. M. Hartmann (IBM J. Res. Dev., 1983)