"Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" - читать интересную книгу автора (Sandro Etalle, Miroslav Truszczynski)