The provable total search problems of bounded arithmetic (2007)

by Alan Skelley , Neil Thapen
Citations:11 - 5 self