Kelleen R. Hurlburt Sufficiency Conditions for Theories with Recursive Models. 305-320 1992 55 Ann. Pure Appl. Logic 3 db/journals/apal/apal55.html#Hurlburt92