Complementing below recursively enumerable degrees. - S. Barry Cooper; Richard L. Epstein (Ann. Pure Appl. Log., 1987)

Valid Deductions for Falsity-Default Logics. - Richard L. Epstein (Reports Math. Log., 1992)