(1)
Huitink, J. How to Unify Restrictive and Conditional If-Clauses. Proceedings of the AC 2007, 115-120. https://doi.org/10.53437/316xqz19.