| @inproceedings{comon98lics, | ||
| address = | {Indianapolis, Indiana, USA}, | |
| author = | {Comon, Hubert and Narendran, Paliath and Nieuwenhuis, Robert and Rusinowitch, Micha{\"e}l}, | |
| booktitle = | {{P}roceedings of the 13th {A}nnual {IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS}'98)}, | |
| month = | jun, | |
| pages = | {276-286}, | |
| publisher = | {{IEEE} Computer Society Press}, | |
| title = | {Decision Problems in Ordered Rewriting}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/CNNR-lics98.ps}, | |
| year = | {1998}, | |
| } | ||