Tome (1996) no. 4
Sommaire
The languages ${\rm PQL}$ and ${\rm FO}+{\rm LFP}$ are equivalent even without the presence of order
p. 18-23