H. Pranevičius and G. Budnikas, “PLA‐based formalization of business rules and their analysis by means of knowledge‐based techniques”, TEDE, vol. 14, no. 3, pp. 328-343, Sep. 2008.