Martin Brain
Declarative Problem Solving Using Answer Set Semantics
ICLP, 2006.
@inproceedings{ICLP-2006-Brain, author = "Martin Brain", booktitle = "{Proceedings of the 22nd International Conference on Logic Programming}", doi = "10.1007/11799573_48", isbn = "3-540-36635-0", pages = "459--460", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Declarative Problem Solving Using Answer Set Semantics}", volume = 4079, year = 2006, }