TY - JOUR AU - A. Yu. Baryshnikov AU - A. B. Livchak TI - The languages ${\rm PQL}$ and ${\rm FO}+{\rm LFP}$ are equivalent even without the presence of order JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 1996 SP - 18 EP - 23 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_1996_4_a2/ LA - ru ID - IVM_1996_4_a2 ER -