Deborah East Mikhail Iakhiaev Artur Mikitiuk Miroslaw Truszczynski Tools for modeling and solving search problems. 301-312 2006 19 AI Commun. 4 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=19&issue=4&spage=301 db/journals/aicom/aicom19.html#EastIMT06