Algorithm to design an equivalent normal form

From MaRDI portal
Publication:1240197