@InProceedings{koehler:hoffmann:ecai-ws-00,
  title = 	 {On the Instantiation of {ADL} Operators Involving Arbitrary First-Order Formulas},
  author = 	 {Jana Koehler and J{\"o}rg Hoffmann},
  booktitle = 	 {Proceedings ECAI-00 Workshop on New Results in Planning, Scheduling and Design},
  year =	 {2000}
}