FO(LFP)

Redirect to:

• Fixed-point logic#Least fixed-point logic