Complexity Issues in the Davis and Putnam Scheme | Publicación