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