Title: Advances in Rule Interchange and Applications