Ferenczi, M. (1978) “A GENERALIZATION OF THE FIRST-ORDER LOGIC”, Periodica Polytechnica Electrical Engineering, 22(2-3), pp. 157–170.