@inproceedings{LeLe00_51,
  author     = {Helko Lehmann and Michael Leuschel},
  title      = {Solving Planning Problems by Partial Deduction},
  booktitle  = {LPAR},
  editor     = {Michel Parigot and Andrei Voronkov},
  publisher  = {Springer-Verlag},
  series     = {Lecture Notes in Computer Science},
  volume     = {1955},
  year       = {2000},
}