@TechReport{completenessTR, author = {Jay Ligatti and Jeremy Blackburn and Michael Nachtigal}, title = {On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types}, institution = {University of South Florida}, year = 2016, month = mar, url = {http://www.cse.usf.edu/~ligatti/papers/SubtypingTechReport.pdf}, }