The Nominal approach to Clausal Complementation