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