771 followers RiuNet @RiuNetUPV Strong and weak operational termination of order-sorted rewrite theories http://t.co/24k8AMFLpC 28 May 2015 Reply Repost Favourite