Fahiem Bacchus Yee Whye Teh Making Forward Chaining Relevant. 54-61 1998 AIPS db/conf/aips/aips1998.html#BacchusT98