Extensions of logic programming 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings - Dyckhoff, Roy 1948- (Lecture notes in computer science Lecture notes in artificial intelligence, 1994)