Title: Generating Plans from Proofs
Subjects: Computer science, Data integration (Computer science), Querying (Computer science), Reformulation (Mathematical programming), Data warehousing, Data mining