R. Alonderis, „Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui“, LMR, t. 43, nr. spec., p. 423–428, gruodž. 2003, doi: 10.15388/LMR.2003.32469.