DMCA

Initial experiments on deriving a complete HOL simplification

by Cezary Kaliszyk , Thomas Sternagel