Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.

Jesse Heyninck, Ofer Arieli

Browse the full KR paper archive.