The Work The Complexity of Decision Procedures in Relevance Logic II The details The Author Alasdair Urquhart The offers