BibTeX record conf/pdk/MeyerMS91

download as .bib file

@inproceedings{DBLP:conf/pdk/MeyerMS91,
  author    = {Manfred Meyer and
               J{\"{o}}rg P. M{\"{u}}ller and
               Stefan Schr{\"{o}}dl},
  title     = {{FIDO:} Exploring Finite Domain Consistency Techniques in Logic Programming},
  booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
               Germany, July 1-3, 1991, Proceedings},
  pages     = {425--427},
  year      = {1991},
  crossref  = {DBLP:conf/pdk/1991},
  url       = {http://dx.doi.org/10.1007/BFb0013555},
  doi       = {10.1007/BFb0013555},
  timestamp = {Tue, 14 Jun 2011 20:35:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdk/MeyerMS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdk/1991,
  editor    = {Harold Boley and
               Michael M. Richter},
  title     = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
               Germany, July 1-3, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {567},
  publisher = {Springer},
  year      = {1991},
  isbn      = {3-540-55033-X},
  timestamp = {Thu, 21 Nov 2002 13:20:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdk/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}