"Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings: ... " - читать интересную книгу автора (Michael Gelfond, Nicole Leone, Gerald Pfeifer)