Solution of the Robbins Problem (1997)

by William Mccune
Venue:Journal of Automated Reasoning
Citations:129 - 3 self