R. Alonderis, „Sekvencinis skaičiavimas propozicinei tikėtinumo logikai“, LMR, t. 46, nr. spec., p. 225–231, rugs. 2023, doi: 10.15388/LMR.2006.30714.