BibTeX record conf/agp/BagnaraS98

download as .bib file

@inproceedings{DBLP:conf/agp/BagnaraS98,
  author    = {Roberto Bagnara and
               Peter Schachte},
  title     = {Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations
               of Pos},
  booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
               {A} Coru{\~{n}}a, Spain, July 20-23, 1998},
  pages     = {227--240},
  year      = {1998},
  crossref  = {DBLP:conf/agp/1998},
  timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agp/BagnaraS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/1998,
  editor    = {Jos{\'{e}} Luis Freire{-}Nistal and
               Moreno Falaschi and
               Manuel Vilares Ferro},
  title     = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
               {A} Coru{\~{n}}a, Spain, July 20-23, 1998},
  year      = {1998},
  timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics