Book

Classical Decision Problem

by Egon Börger, Erich Grädel, Yuri Gurevich