Solution of the Robbins Problem (1997)

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