Logical hierarchies in PTIME
scientific article; zbMATH DE number 952337