resnik-intcomp.pdf