An Overview of Nonmonotonic Reasoning and Logic Programming (1993)

by Jack Minker
Venue:Journal of Logic Programming, Special Issue