Theory and uses of Post algebras of order omega + omega *. I | IEEE Conference Publication | IEEE Xplore