Martin Otto
-
Δ: Set-theoretic query language capturing LOGSPACE
Annals of Mathematics and Artificial Intelligence