Alonderis, R. (2003) „Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui“, Lietuvos matematikos rinkinys, 43(spec.), p. 423–428. doi:10.15388/LMR.2003.32469.