swMATH8004MaRDI QIDQ20019FDOQ20019
Official website http://arxiv.org/abs/cmp-lg/9607012
This page was built for software: MBT