Logical hierarchies in PTIME | IEEE Conference Publication | IEEE Xplore