Martin Lange. The alternation hierarchy in fixpoint logic with chop is strict too. Inf. Comput., 204(9):1346-1367, 2006. [doi]
@article{Lange06:1, title = {The alternation hierarchy in fixpoint logic with chop is strict too}, author = {Martin Lange}, year = {2006}, doi = {10.1016/j.ic.2006.05.001}, url = {http://dx.doi.org/10.1016/j.ic.2006.05.001}, tags = {logic}, researchr = {https://researchr.org/publication/Lange06%3A1}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {204}, number = {9}, pages = {1346-1367}, }