Publication:4506391
From MaRDI portal
zbMath0946.68013MaRDI QIDQ4506391
Maurice Bruynooghe, Henk Vandecasteele, Andre D. de Waal, Marc Denecker
Publication date: 18 September 2000
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-02/S99-02.html
68N17: Logic programming
Related Items
Uses Software