Chapter 1 Bounded and Ordered Satisfiability : Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing