Clarified the matching algorithm as described in Issue 34: #34, splitting the clause into 9.4.1 Introduction and 9.4.2 Algorithm