Proving modularity for a given elliptic curve over an imaginary quadratic field. - Luis Dieulefait; Lucio Guerberoff; Ariel Pacetti (Math. Comput., 2010)