Conquering the meredith single axiom (0)

by Larry Wos
Venue:Journal of Automated Reasoning