Logical query optimization by proof-tree transformation
scientific article; zbMATH DE number 428589