Publication:4506391
From MaRDI portal
zbMath0946.68013MaRDI QIDQ4506391
Maurice Bruynooghe, Marc Denecker, Andre D. de Waal, Henk Vandecasteele
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