LefebvreC93'

BibTeX

@inproceedings{DBLP:conf/lpe/LefebvreC93,
  author    = {P. Lef{\`e}bvre and
               Eric Villemonte de la Clergerie},
  title     = {How to build quickly an efficient implementation of the
               domain Prop with DyALog},
  booktitle = {LPE},
  year      = {1993},
  pages     = {33-38},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}