Publications by authors named "Marvin Schmidt"