Title: Classification of search problems and their definability in bounded arithmetic
First published: 2001