Hubert Comon, Florent Jacquemard
Ground Reducibility is EXPTIME-Complete
LICS, 1997.
@inproceedings{LICS-1997-ComonJ, author = "Hubert Comon and Florent Jacquemard", booktitle = "{Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1997.614922", isbn = "0-8186-7925-5", pages = "26--34", publisher = "{IEEE Computer Society}", title = "{Ground Reducibility is EXPTIME-Complete}", year = 1997, }