C
[CJ97] Hubert Comon et Florent Jacquemard. Ground Reducibility is EXPTIME-Complete. In LICS'97, pages 26-34. IEEE Comp. Soc. Press, juin 1997. 
@inproceedings{lics1997-CJ,
  author =              {Comon, Hubert and Jacquemard, Florent},
  title =               {Ground Reducibility is {EXPTIME}-Complete},
  booktitle =           {{P}roceedings of the 12th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'97)},
  acronym =             {{LICS}'97},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {26-34},
  year =                {1997},
  month =               jun,
}
Liste des auteurs