New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial. - Anupam Das 002; Alex A. Rice (FSCD, 2021)

Enumerating Independent Linear Inferences. - Anupam Das 002; Alex A. Rice (Log. Methods Comput. Sci., 2023)