Extract logical rules (extract logical rules underlying a boolean ring)

From MaRDI portal