CVC3  2.4.1
Smart Pointer Functionality in Expr
Expression Package