Huitink, J. How to Unify Restrictive and Conditional If-Clauses. Proceedings of the AC 2007, 115-120.