Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings - Michael Gelfond, Nicola Leone, Gerald Pfeifer ((Lecture Notes in Computer Science))