Stable Model Checking Made Easy.

Christoph Koch, Nicola Leone

Browse the full IJCAI paper archive.