Straight ROBDDs are not the Best for Pos.
Roberto Bagnara · 1996
this paper have been experimentally validated in the context of the development of the China analyzer [2]. China is a data-flow analyzer for CLP(H, N ) languages (i.e. Prolog, CLP(R), clp(FD) and so forth) written in Prolog and C