Baryshnikov A Yu

Publications in Math-Net.Ru

1. The languages ${\rm PQL}$ and ${\rm FO}+{\rm LFP}$ are equivalent even without the presence of order
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1996, no. 4,  18–23