Solving Deductive Planning Problems Using Program Analysis and Transformation.

D. Andre de Waal, Michael Thielscher

Browse the full LOPSTR paper archive.