Solution of the Robbins Problem (1997)

by W McCune
Venue:Journal of Automated Reasoning