swMATH45880MaRDI QIDQ5974716
No author found.
Source code repository: https://github.com/tuProlog/arg2p-kt
Described by source