Adaptation of truth-trees method to relevance-sensitive logic