On conditions of full coherence in biclosed categories: a new application of proof theory. - A. A. Babaev; Sergei Soloviev 001 (Conference on Computer Logic, 1988)

Parallel code NSBC: Simulations of relativistic nuclei scattering by a bent crystal. - A. A. Babaev (Comput. Phys. Commun., 2014)