Computing Supported Models via Transformation to Stable Models: A System Description.

Fang Li, Gopal Gupta

Browse the full FLOPS paper archive.