n-Simple theories. - Alexei S. Kolesnikov (Ann. Pure Appl. Log., 2005)

Generalized amalgamation and n-simplicity. - Byunghan Kim; Alexei S. Kolesnikov; Akito Tsuboi (Ann. Pure Appl. Log., 2008)

Groupoids, covers, and 3-uniqueness in stable theories. - John Goodrick; Alexei S. Kolesnikov (J. Symb. Log., 2010)

Homology groups of types in model theory and the computation of H2(p). - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (J. Symb. Log., 2013)

Type-amalgamation properties and polygroupoids in stable theories. - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (J. Math. Log., 2015)

Homology groups of types in stable theories and the Hurewicz correspondence. - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (Ann. Pure Appl. Log., 2017)