swMATH40239MaRDI QIDQ55939
No author found.
Source code repository: https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin/