@inproceedings{hoffmann,
  author = {J. Hoffmann and B. Nebel},
  title = {RIFO Revisited: Detecting Relaxed Irrelevance},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {325-336}
}