MelisZM00'

@inproceedings{DBLP:conf/ecai/MelisZM00,
  author    = {Erica Melis and
               J{\"u}rgen Zimmer and
               Tobias M{\"u}ller},
  title     = {Extensions of Constraint Solving for Proof Planning},
  booktitle = {ECAI},
  year      = {2000},
  pages     = {229-233},
  crossref  = {DBLP:conf/ecai/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecai/2000,
  editor    = {Werner Horn},
  title     = {ECAI 2000, Proceedings of the 14th European Conference on
               Artificial Intelligence, Berlin, Germany, August 20-25,
               2000},
  booktitle = {ECAI},
  publisher = {IOS Press},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}