Answer set solving in practice, introduction, language

Published --