the extended closed world assumption and its relationship to parallel circumscription m gelfond , h przymusinska , t przymusinski 1985.0
proceedings of the fifth acm sigact-sigmod symposium on & hellip ; ,