public static Backbone compute ( final Formula formula , final BackboneType type ) { return compute ( formula , formula . variables ( ) , type ) ; }
Computes the backbone for a given formula w . r . t . a given backbone type .