@techreport{simon14optimalappendix, author = {A. Simon}, title = {Optimal {I}nference of {F}ields in {R}ow-{P}olymorphic {R}ecords ({P}roof {A}ppendix)}, month = {June}, year = 2014, }