@InProceedings{Bagnara96a, Author = "R. Bagnara", Title = "Straight {ROBDDS} are not the Best for {\it Pos\/}", BookTitle = "Proceedings of the ``1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96)''", Address = "Donostia-San Sebasti\'an, Spain", Month = "July", Year = 1996 }