Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski. Answer-Set Programming in Requirements Engineering. In Camille Salinesi, Inge van de Weerd, editors, Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Volume 8396 of Lecture Notes in Computer Science, pages 168-183, Springer, 2014. [doi]
@inproceedings{LiBHT14, title = {Answer-Set Programming in Requirements Engineering}, author = {Wenbin Li and David Brown and Jane Huffman Hayes and Miroslaw Truszczynski}, year = {2014}, doi = {10.1007/978-3-319-05843-6_13}, url = {http://dx.doi.org/10.1007/978-3-319-05843-6_13}, researchr = {https://researchr.org/publication/LiBHT14}, cites = {0}, citedby = {0}, pages = {168-183}, booktitle = {Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings}, editor = {Camille Salinesi and Inge van de Weerd}, volume = {8396}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-05842-9}, }