Lebedys, E., & Vasilecas, O. (2004). Realization of business rules represented using formal logic sentences in information systems. Lietuvos Matematikos Rinkinys, 44(spec.), 327–331. https://doi.org/10.15388/LMR.2004.31697