1
Logic for programming, artificial intelligence, and reasoning [E-Book] : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /