public static Backbone computeNegative ( final Formula formula ) { return compute ( formula , formula . variables ( ) , BackboneType . ONLY_NEGATIVE ) ; }
Computes the negative backbone variables for a given formula .