Inductive definitions over finite structures (1989)

by D Leivant