An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract).

Stefan Hetzl, Johannes Kloibhofer

Browse the full KR paper archive.