ALONDERIS, R. Sekvencinis skaičiavimas propozicinei tikėtinumo logikai. Lietuvos matematikos rinkinys, v. 46, n. spec., p. 225–231, 21 rugs.2023.