Extensions of Logic Programming:
4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 Proceedings

by Roy Dyckhoff, Elp '9 (1993 University of St. Andrews, Scotland)