| @inproceedings{comon-icalp91, | ||
| address = | {Madrid, Spain}, | |
| author = | {Comon, Hubert}, | |
| booktitle = | {{P}roceedings of the 18th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'91)}, | |
| editor = | {Leach Albert, Javier and Monien, Burkhard and Rodriguez-Artalejo, Mario}, | |
| month = | jul, | |
| pages = | {469-480}, | |
| publisher = | {Springer-Verlag}, | |
| series = | {Lecture Notes in Computer Science}, | |
| title = | {Complete axiomatizations of some quotient term algebras}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/comon-icalp91.pdf}, | |
| volume = | {510}, | |
| year = | {1991}, | |
| } | ||