Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017) by Tran Cao Son | Menrva Books | MenrvaBooks