The Elimination of Nesting in SPCF
2005 ◽
pp. 234-245