Added Huang-Darwiche example as a BBN.