The NP-hardness of finding a directed acyclic graph for regular resolution
scientific article; zbMATH DE number 5279841
scientific article