First-Order Stable Model Semantics and First-Order Loop Formulas

Open in new window