by Matthias Baaz, Andrei Voronkov
ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?cialIntelligence,andReasoning(LPAR 2002),heldonOctober14–18,2002,attheUniversityofTbilisi(Georgia),-…