764 followers RiuNet @RiuNetUPV Use of Logical Models for Proving Operational Termination in General Logics https://t.co/7uoDizp7L4 09 May 2017 Reply Repost Favourite