Succinct Non-subsequence Arguments.

San Ling, Khai Hanh Tang, Van Khu Vu, Huaxiong Wang, Yingfei Yan

Browse the full SCN paper archive.