Pliuškevičienė, A. (2003) “Decision procedure for an extended miniscoped fragment of FTL with equality”, Lietuvos matematikos rinkinys, 43(spec.), pp. 438–443. doi:10.15388/LMR.2003.32472.