EijckHN00'

@inproceedings{DBLP:conf/wflp/EijckHN00,
  author    = {Jan van Eijck and
               Juan Heguiabehere and
               Breannd{\'a}n {\'O} Nuall{\'a}in},
  title     = {Theorem Proving and Programming with Dynamic First Order
               Logic},
  booktitle = {WFLP},
  year      = {2000},
  pages     = {56-71},
  crossref  = {DBLP:conf/wflp/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wflp/2000,
  editor    = {Mar\'{\i}a Alpuente},
  title     = {9th International Workshop on Functional and Logic Programming,
               WFLP'2000, Benicassim, Spain, September 28-30, 2000},
  booktitle = {WFLP},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}