TITLE : Top-Down Query Answering for Logic Programs over Bilattices AUTHOR(S) : Straccia U TYPE : Other YEAR : 2004 CODE : 160757 *** DO NOT EDIT THIS FILE ***