Отправить по sms: Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings / Maurizio Gabbrielli, Gopal Gupta (eds.).