The Family of Stable Models (1993)

by M C Fitting
Venue:J. Logic Programming