A fixpoint semantics for general logic programs compared with the well–supported and stable model semantics (1991)

by François Fages
Venue:New Generation Computing