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