TITLE : Any-world assumptions in logic programming AUTHOR(S) : Loyer Y., Straccia U. TYPE : Journal article YEAR : 2005 CODE : 179937 *** DO NOT EDIT THIS FILE ***