Logic Programming and Nonmonotonic Reasoning door Tx, El Paso & Usa; N. Leone