Christoph Karg LR(k) Testing is Average Case Complete. 74-80 http://www.computer.org/proceedings/ccc/7907/79070074abs.htm 1997 IEEE Conference on Computational Complexity db/conf/coco/coco97.html#Karg97