MaRDI QIDQ44795swMATHFDO
Official website https://research.ics.aalto.fi/software/asp/lp2normal/
This page was built for software: LP2NORMAL2