Belleghem. An inductive definitions approach to ramifications (1998)

by M Denecker, D Theseider Dupré, K Van
Venue:Electronic Transactions on Artificial Intelligence