Computing Irredundant Normal Forms from Abbreviated Presence Functions

From MaRDI portal
Publication:5541348