Giorgio Levi Advances in logic programming theory - - Oxford University Press 1994 - 254 ISBN: 0-90-853853-7 Dewey Class. No.: 004.43