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