Smodels - an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs (1997)

Cached

Download Links

by Ilkka Niemelä , Patrik Simons
Citations:263 - 10 self