Giuseppe Attardi Tito Flagella Memory Management in the PoSSo Solver. 293-311 1996 21 J. Symb. Comput. 3 db/journals/jsc/jsc21.html#AttardiF96