Logic programming, in: Handbook of Theoretical Computer (1990)

by K R Apt
Venue:amai4.tex; 10/09/2013; 11:14; p.45 Cenzer et al