@TechReport{fail, author = {Jay Ligatti}, title = {Induction on Failing Derivations}, institution = {University of South Florida}, year = 2016, number = {PL-Sep13}, month = mar, url = {http://www.cse.usf.edu/~ligatti/papers/iotFdoJ.pdf}, }