Goal-Sensitive Reasoning with Disconnection Tableaux. - Lee A. Barnett (TABLEAUX, 2017)

Covered Clauses Are Not Propagation Redundant. - Lee A. Barnett; David M. Cerna; Armin Biere (IJCAR (1), 2020)

Non-clausal Redundancy Properties. - Lee A. Barnett; Armin Biere (CADE, 2021)