Logic Programming The 12th International Conference - Sterling, Leon S. (Logic Programming Ser.)