TermWare3 – term rewriting system, based on context-term calculus Academic Article