Publication:4421872
From MaRDI portal
zbMath1017.68033MaRDI QIDQ4421872
Alexander Serebrenik, Danny De Schreye
Publication date: 1 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2042/20420069.htm
68N17: Logic programming
Related Items