The logic programming paradigm :   a 25-year perspective /  
K. R. Apt, V. W. Marek, M. Truszczynski, D. S. Warren 
 - 1a. ed. 
 - Berlín :  Springer,  1999 
 - xvi, 459 p. :    459 p. ; fig. ;    24 cm 
<br/><br/><label>ISBN: </label>3540654631 
<br/><br/><label>LC Class. No.: </label> / T 33 
<br/><br/><label>Universal Decimal Class. No.: </label>519.681