G. L. McColm
-
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information