An Inductive Definition Approach to Ramifications (1998)

by Marc Denecker , Daniele Theseider Dupré , Kristof Van Belleghem
Venue:IN ELECTRONIC TRANSACTIONS ON ARTIFICIAL INTELLIGENCE
Citations:15 - 7 self