Non-well-founded sets obtained from ideal fixed points | IEEE Conference Publication | IEEE Xplore