Stable-Ordered Models for Propositional Theories with Order Operators.

Johannes Oetsch, Juan Carlos Nieves

Browse the full JELIA paper archive.