TITLE     : The stable model semantics under the any-world assumption
AUTHOR(S) : Loyer Y, Straccia U
TYPE      : Other
YEAR      : 2004
CODE      : 160756

*** DO NOT EDIT THIS FILE ***