Works by or with Hector J. Levesque in the bibliography:Logic and the Complexity of Reasoning (1988)Hard and easy distributions of SAT problems (1992)