Publication:3011299
From MaRDI portal
zbMath1218.68069arXiv1011.4833MaRDI QIDQ3011299
Publication date: 28 June 2011
Full work available at URL: https://arxiv.org/abs/1011.4833
68N17: Logic programming
zbMath1218.68069arXiv1011.4833MaRDI QIDQ3011299
Publication date: 28 June 2011
Full work available at URL: https://arxiv.org/abs/1011.4833
68N17: Logic programming