Guarded Quantification in Least Fixed Point Logic (0)

by G L McColm
Venue:Journal of Logic, Language and Information