Cancellation in Integral Domains