@inproceedings{gerevini,
  author = {A. Gerevini and L. Schubert},
  title = {DISCOPLAN: an Efficient On-line System for Computing Planning Domain Invariants},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {433-436}
}