TITLE : Complex reasoning with logic database languages AUTHOR(S) : Giannotti F, Raffaetà A, Renso C, Turini F TYPE : Contribution to conference YEAR : 2001 CODE : 120372 *** DO NOT EDIT THIS FILE ***