BELOVAS, A.; NORGĖLA, S. Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms. Lietuvos matematikos rinkinys, v. 45, n. spec., p. 316–320, 18 gruodž.2005.