M. Ferenczi, “A GENERALIZATION OF THE FIRST-ORDER LOGIC”, Period. Polytech. Elec. Eng., vol. 22, no. 2-3, pp. 157–170, Jan. 1978.