@InProceedings{hoffmann:ismis-00,
   author       = "J{\"o}rg Hoffmann",
   title        = "A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm",
  crossref = "ismis00",
  pages = "216-227",
   year         = "2000"
}

@Proceedings{ismis00,
  Key = "ISMIS-00",
  title = 	"Proceedings of the 12th International Symposium on 
                 Methodologies for Intelligent Systems (ISMIS-00)",
  booktitle = 	"Proceedings of the 12th International Symposium on 
                 Methodologies for Intelligent Systems (ISMIS-00)",
  year = 	2000,
  OPTeditor = 	"Z. W. Ras and S. Ohsuga",
  OPTaddress = 	"Charlotte, NC",
  publisher =   spring,
  month = oct
}