Logic programming proceedings - Bruynooghe, Maurice ed; International Logic Programming Symposium(1994 : Santa Margherita Ligure); Santa Margherita Ligure, 1994 (Cambridge The MIT Press, 1994)
Keywords: Computer programming; Logic programming