Publication:4707739
From MaRDI portal
zbMath1012.68037MaRDI QIDQ4707739
Alexander Serebrenik, Danny De Schreye
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2407/24070187.htm
68N17: Logic programming
Related Items