Nielson, F.; Nielson, H. R. Layered Predicates. DPB 1992, 21.