@inproceedings{DBLP:conf/cinq/KiferGBW04,
  author    = {Daniel Kifer and
               Johannes Gehrke and
               Cristian Bucila and
               Walker M. White},
  title     = {How to Quickly Find a Witness},
  booktitle = {Constraint-Based Mining and Inductive Databases},
  year      = {2004},
  pages     = {216-242},
  ee        = {http://dx.doi.org/10.1007/11615576_11},
  crossref  = {DBLP:conf/cinq/2004hz},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cinq/2004hz,
  editor    = {Jean-Fran\c{c}ois Boulicaut and
               Luc De Raedt and
               Heikki Mannila},
  title     = {Constraint-Based Mining and Inductive Databases, European
               Workshop on Inductive Databases and Constraint Based Mining,
               Hinterzarten, Germany, March 11-13, 2004, Revised Selected
               Papers},
  booktitle = {Constraint-Based Mining and Inductive Databases},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3848},
  year      = {2005},
  isbn      = {3-540-31331-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}