Unique supported-model classes of logic programs (2001)

by Pascal Hitzler, Anthony K Seda
Venue:Information