Title: The characteristic sequence method and its computer implementation