A. Belovas ir S. Norgėla, „Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms“, LMR, t. 45, nr. spec., p. 316–320, gruodž. 2005, doi: 10.15388/LMR.2005.26672.