%0 Book
%A  edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
%T Logic Programming and Nonmonotonic Reasoning : 
%U /book/90113711/Logic-Programming-and-Nonmonotonic-Reasoning/