Proof-Tree Transformation Theorems and Their Applications.

Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi

Browse the full PODS paper archive.