MaRDI QIDQ13993swMATHFDO
Official website http://www.sciencedirect.com/science/article/pii/S1571066105806620
This page was built for software: Logichart