look at find and rfind in the Maude Manual
I'm not sure about the Char versions, though