Lebedys, E. and Vasilecas, O. 2004. Verslo taisyklių, pavaizduotų formalios logikos sakiniais, realizacija informacinėse sistemose. Lietuvos matematikos rinkinys. 44, spec. (Dec. 2004), 327–331. DOI:https://doi.org/10.15388/LMR.2004.31697.