arXiv1909.08259MaRDI QIDQ6325527
Francesco Fabiano
Publication date: 18 September 2019
Mathematics Subject Classification ID
Logic programming (68N17)