TITLE     : A tabling query answering procedure for normal logic programs under the any-world assumption
AUTHOR(S) : Straccia U
TYPE      : Other
YEAR      : 2007
CODE      : 160811

*** DO NOT EDIT THIS FILE ***