An iterative characterization of post algebras | IEEE Conference Publication | IEEE Xplore