Dragic Bankovic Horn sentences in Post algebras. 269-275 1997 173 Discrete Mathematics 1-3 http://dx.doi.org/10.1016/S0012-365X(97)00019-8 db/journals/dm/dm173.html#Bankovic97