Stability of logic programs: how to connect don't-know nondeterministic logic programs to the outside world (1987)

by Z Somogyi