Zhang, Z.-L. “Extended Smolensky’s Method”. DAIMI Report Series, vol. 19, no. 315, July 1990, doi:10.7146/dpb.v19i315.6705.