LEBEDYS, E.; VASILECAS, O. Verslo taisyklių, pavaizduotų formalios logikos sakiniais, realizacija informacinėse sistemose. Lietuvos matematikos rinkinys, v. 44, n. spec., p. 327–331, 17 gruodž.2004.