MaRDI QIDQ18343swMATHFDO
Official website http://www.is.titech.ac.jp/~kojima/CMPSm/
This page was built for software: CMPSm