McColm, Gregory Guarded quantification in least fixed point logic. (English) Zbl 1045.03034 J. Logic Lang. Inf. 13, No. 1, 61-110 (2004). Reviewer: J. Flum (Freiburg i. Br.) MSC: 03C13 68Q19 91A43 03B70 PDFBibTeX XMLCite \textit{G. McColm}, J. Logic Lang. Inf. 13, No. 1, 61--110 (2004; Zbl 1045.03034) Full Text: DOI
Backofen, Rolf; Rogers, James; Vijay-Shanker, K. A first-order axiomatization of the theory of finite trees. (English) Zbl 0833.03010 J. Logic Lang. Inf. 4, No. 1, 5-39 (1995). MSC: 03B65 PDFBibTeX XMLCite \textit{R. Backofen} et al., J. Logic Lang. Inf. 4, No. 1, 5--39 (1995; Zbl 0833.03010) Full Text: DOI