Efficiently ordering subgoals with access constraints.

Guizhen Yang, Michael Kifer, Vinay K. Chaudhri

Browse the full PODS paper archive.