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