Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang. Lower bounds on lengths of checking sequences. Formal Asp. Comput., 22(6):667-679, 2010. [doi]
@article{JourdanUYZ10, title = {Lower bounds on lengths of checking sequences}, author = {Guy-Vincent Jourdan and Hasan Ural and Hüsnü Yenigün and Ji Chao Zhang}, year = {2010}, doi = {10.1007/s00165-009-0135-6}, url = {http://dx.doi.org/10.1007/s00165-009-0135-6}, researchr = {https://researchr.org/publication/JourdanUYZ10}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {22}, number = {6}, pages = {667-679}, }