Steven Lindell A Constant-Space Sequential Model of Computation for First-Order Logic. 447-462 1994 conf/lcc/1994 LCC db/conf/lcc/lcc94.html#Lindell94