Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line