@InProceedings{BagnaraS99,
  Author = "R. Bagnara and P. Schachte",
  Title = "Factorizing Equivalent Variable Pairs
           in {ROBDD}-Based Implementations of \textit{Pos}",
  BookTitle = "Proceedings of the
               ``Seventh International Conference on
                 Algebraic Methodology and Software Technology
                 (AMAST'98)''",
  Address = "Amazonia, Brazil",
  Year = 1999,
  Editor = "A. M. Haeberer",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 1548,
  Pages = "471--485",
  ISBN = "3-540-65462-3",
}