@InProceedings{BagnaraS98, Author = "R. Bagnara and P. Schachte", Title = "Factorizing Equivalent Variable Pairs in {ROBDD}-Based Implementations of \textit{Pos}", BookTitle = "Proceedings of the ``1998 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'98)''", Editor = "J. L. Freire-Nistal and M. Falaschi and M. Vilares-Ferro", Address = "A Coru\~na, Spain", Year = 1998, Pages = "227-239", }