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