Automatization of Ternary Boolean Algebras. - Kuśmierowski, Wojciech; Grabowski, Adam (Formalized Mathematics, 2021)