Eyal Amir Stuart J. Russell Logical Filtering. 75-82 2003 conf/ijcai/2003 IJCAI db/conf/ijcai/ijcai2003.html#AmirR03