swMATH16626MaRDI QIDQ28495FDOQ28495
Official website http://www.cpc.cs.qub.ac.uk/summaries/ABUF_v1_0.html
This page was built for software: OLYMPUS