The Equivalence of Solving Queries and Production Tree Projections.

Yehoshua Sagiv, Oded Shmueli

Browse the full PODS paper archive.