Toshiyasu Arai Nested PLS. 395-409 2011 50 Arch. Math. Log. 3-4 http://dx.doi.org/10.1007/s00153-010-0221-8 db/journals/aml/aml50.html#Arai11