An O(n log n)-Space Decision Procedure for the Relevance Logic B+