TITLE     : Annotated answer set programming
AUTHOR(S) : Straccia U
TYPE      : Other
YEAR      : 2005
CODE      : 160226

*** DO NOT EDIT THIS FILE ***