| @inproceedings{comon97lics, | ||
| address = | {Warsaw, Poland}, | |
| author = | {Comon, Hubert and Jacquemard, Florent}, | |
| booktitle = | {{P}roceedings of the 12th {A}nnual {IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS}'97)}, | |
| month = | jul, | |
| pages = | {26-34}, | |
| publisher = | {{IEEE} Computer Society Press}, | |
| title = | {Ground Reducibility is {EXPTIME}-Complete}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/ComJac-lics97.ps}, | |
| year = | {1997}, | |
| } | ||