Hex Semantics via Approximation Fixpoint Theory.

Christian Antic, Thomas Eiter, Michael Fink

Browse the full LPNMR paper archive.