Title: The complexity of automated reasoning
First published: 1990