О графах Тервиллигера с $\mu=4$

Графом Тервиллигера называется неполный связный граф, в котором пересечение окрестностей любых двух вершин, находящихся на расстоянии 2, является $\mu$-кликой для некоторой константы $\mu$. В работе описано локальное строение графов Тервиллигера с $\mu=4$.