Approximations, Stable Operators, Well-Founded Fixpoints And Applications In Nonmonotonic Reasoning (2000)

by Marc Denecker , Victor Marek , Miroslaw Truszczynski
Citations:18 - 8 self