Iain A. Stewart Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. 65-92 1993 18 Fundam. Inform. db/journals/fuin/fuin18.html#Stewart93