AGV or Lift-AGV? Performance trade-offs and design insights for container terminals with robotized transport vehicle technology. (16th April 2021)