Birgit Elbl Modeling Meta-logical Features in a Calculus with Frozen Variables. [Citation Graph (0, 0)][DBLP] Proof Theory in Computer Science, 2001, pp:114-129 [Conf]
Birgit Elbl A Non-Definability Result for a Predicational Language with the Usual Control. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2001, v:12, n:3, pp:385-396 [Journal]
Birgit Elbl A Declarative Semantics for Depth-First Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:41, n:1, pp:27-66 [Journal]