An overview of nonmonotonic reasoning and logic programming

Jack Minker
1993 The Journal of Logic Programming  
doi:10.1016/0743-1066(93)90028-f fatcat:zs5h4ximffdfvapevyr6rvs4fm