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