Relational Theories with Null Values and Non-Herbrand Stable Models

Open in new window