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,
}











