(2009) Gagnon F. and Esfandiari B. – Using Answer Set Programming to Enhance Operating System Discovery – Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09).