Variational discretization and rectangle mixed finite element methods for quadratic semilinear elliptic optimal control problems | IEEE Conference Publication | IEEE Xplore