{A Resolution Principle for Constrained Logics}