TITLE     : A top-down query answering procedure for normal logic programs under the any-world assumption
AUTHOR(S) : Straccia U
TYPE      : Conference article
YEAR      : 2007
CODE      : 43965

*** DO NOT EDIT THIS FILE ***