Smodels: A System for Answer Set Programming (2000)

by I Niemela, P Simons, T Syrjanen
Venue:Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'2000