Lebedys, E. and Vasilecas, O. (2004) “Realization of business rules represented using formal logic sentences in information systems”, Lietuvos matematikos rinkinys, 44(spec.), pp. 327–331. doi:10.15388/LMR.2004.31697.