MaRDI QIDQ44014swMATHFDO
Official website https://www.sciencedirect.com/science/article/abs/pii/S0888613X19301094
This page was built for software: POGTGolog