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