Title: Logical approaches to the complexity of search problems
First published: 2005