MaRDI QIDQ51980swMATHFDO
Official website https://dl.acm.org/doi/abs/10.1145/2701.2772
This page was built for software: TRICP