Capturing LOGSPACE over Hereditarily-Finite Sets. - Alexander Leontjev; Vladimir Yu. Sazonov (FoIKS, 2000)

D: Set-theoretic query language capturing LOGSPACE. - Alexander Leontjev; Vladimir Yu. Sazonov (Ann. Math. Artif. Intell., 2001)