Deductive Planning with Inductive Loops.

Martin Magnusson, Patrick Doherty

Browse the full KR paper archive.