Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines.

Iain A. Stewart Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines. 93-105 1993 18 Fundam. Inform. db/journals/fuin/fuin18.html#Stewart93a