Effective results and methods for diophantine equations over finitely generated domains