Automatization of Ternary Boolean Algebras. - Wojciech Kusmierowski; Adam Grabowski (Formaliz. Math., 2021)