Fixed points vs. infinite generation | IEEE Conference Publication | IEEE Xplore