The complexity of decision procedures in relevance logic - Urquhart, Alasdair (University <Toronto>, 1989)