The Expressive Power of Unique Total Stable Model Semantics.

Francesco Buccafurri, Sergio Greco, Domenico Sacc

Browse the full ICALP paper archive.