Others

2012

  PDF     T. Tuerk
Documentation of the HOL 4 quantifier elimination library
distributed together with HOL 4 in directory src/quantHeuristics/doc