Solution of the Robbins problem (1997)

by W W McCune
Venue:Journal of Automated Reasoning