Third International Conference on Logic ProgrammingEhud Yehuda Shapiro · First published 2007Open the Tome