Decision procedure for an extended miniscoped fragment of FTL with equality - Pliuškevičienė, Aida (Lietuvos matematikos rinkinys, 2003)
There is not abstract.