An overview of nonmonotonic reasoning and logic programming (1993)

by J Minker
Venue:Journal of Logic Programming