Edge-regular graphs with regular cliques. (June 2018)