TITLE     : A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming
AUTHOR(S) : Straccia U
TYPE      : Other
YEAR      : 2006
CODE      : 160393

*** DO NOT EDIT THIS FILE ***