BN computing, Baehler & Novier