Generating Plans from Proofs

Michael Benedikt, Balder ten Cate, Efthymia Tsamoura. Generating Plans from Proofs. ACM Trans. Database Syst., 40(4):22, 2016. [doi]

Abstract

Abstract is missing.