Logic programming and non-monotonic reasoning proceedings of the second international workshop (MIT Press, 1993)
Papers presented during the workshop held in Lisbon in June 1993
Includes bibliographical references and index