Programming Combinations of Deduction and BDD-based Symbolic Calculation (0)

by M J C Gordon
Venue:LMS Journal of Computation and Mathematics