Logic Programming"; Handbook of Theoretical Computer Science (1990)

by C Apt