Contextual Reasoning -complexity Analysis and Decision Procedures - on Earlier Drafts and Presentations of This Work. Moreover, I Wish to Thank