The limits of tractability in resolution-based propositional proof systems
scientific article; zbMATH DE number 6019354
scientific article