Answer-Set Programming in Requirements Engineering.

Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski

Browse the full REFSQ paper archive.