Publication:4424850
From MaRDI portal
zbMath1023.68513MaRDI QIDQ4424850
Manuel V. Hermenegildo, Germán Puebla, Pedro Lopez-Garcia, Francisco Bueno
Publication date: 7 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2627/26270001.htm
68N17: Logic programming