Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.

Ilkka Niemel, Patrik Simons

Browse the full LPNMR paper archive.