Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems

Open in new window