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

Hirohisa Seki

Browse the full LPNMR paper archive.