TITLE     : An epistemic foundation of stable model semantics
AUTHOR(S) : Loyer Y, Straccia U
TYPE      : Other
YEAR      : 2003
CODE      : 160112

*** DO NOT EDIT THIS FILE ***