Martin T. Swain, Graham J. L. Kemp: A CLP Approach to the Protein Side-Chain Placement Problem. CP 2001: 479-493