Using relation-algebraic means and tool support for investigating and computing bipartitions.

Rudolf BerghammerInsa StuckeMichael Winter
Published in: J. Log. Algebraic Methods Program. (2017)