Mark E. Stickel Schubert's Steamroller Problem: Formulation and Solutions. 89-101 1986 2 J. Autom. Reasoning 1 db/journals/jar/jar2.html#Stickel86