Algorithm 1From: Strategy maintenance in smart healthcare systemsDealing with transitive statementsBack to article page