Min/Max-Poly Weighting Schemes and the NL versus UL Problem Article in ACM Transactions on Computation Theory (May 2017)