Perfilieva, Irina Functional system of BL-algebra with infinite formulas. In: Journal of Multiple-valued Logic and Soft Computing. -- Vol. 12, No. 1-2 (2006), s.183-200.