ELSEVIER The Journal of Logic Programming 38 (1999) 387-388 Academic Article uri icon