swMATH19924MaRDI QIDQ31748FDOQ31748
Official website http://cpc.cs.qub.ac.uk/summaries/AEUL_v1_0.html
This page was built for software: ALPS MPS