MaRDI QIDQ14212swMATHFDO
Official website http://bach.istc.kobe-u.ac.jp/llp/lollicop/
This page was built for software: lolliCoP