Conquering the Meredith single axiom (2001)

by L Wos
Venue:J. Automated Reasoning