A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint (1990)

by H Seki
Venue:Proc. Workshop on Logic Programming and Non-Monotonic Logic