algebra: Conditions that make a near-Boolean algebra Boolean (1990)

by Robbins
Venue:J. Automated Reasoning