Maude-help mailing list

[Aurelie Hurault <Aurelie.Hurault AT enseeiht.fr>]

        Hello,

I have questions about the Knuth Bendix completion on Maude. I am 
interested in using this completion, so I read the paper : "Termination 
Checker and Knuth-Bendix Completion Tools for Maude Equational 
Specifications".
I found the files kbc.tar(http://maude.cs.uiuc.edu/maude1/tools/kbc/), 
which is compatible with Maude1, but not with maude2. So I try to use it 
with maude1, but I have some problems. When I test your exemple, it 
tries to import some files I don't have (ext-bool.fm, strict-order.fm, 
...).
My questions are :
- Where can I find this files?
- Is there a compatible version of the Knuth Bendix completion with maude2?

Thanks,
Aurélie Hurault