Inductive definitions over finite structures

Daniel Leivant
1990 Information and Computation  
doi:10.1016/0890-5401(90)90006-4 fatcat:s4rvi2bbwfd7hin4ku4jldgl7y