Efficiently ordering subgoals with access constraints (0)

by G Yang, M Kifer, V K Chaudhri
Venue:in Proc. of PODS 2006