On substitutional recursion over non-well-founded sets | IEEE Conference Publication | IEEE Xplore