Solving Planning Problems by Partial Deduction.

Helko Lehmann, Michael Leuschel

Browse the full LPAR paper archive.