Origins of Answer-Set Programming -- Some Background and Two Personal Accounts (2011)
Marek Victor W. , Niemelä Ilkka , Truszczynski Miros\law