(2007) Gagnon F., Esfandiari B. and Bertossi L. A Hybrid Approach to Operating System Discovery using Answer Set Programming – In Proceedings of the 10th IFIP/IEEE Symposium on Integrated Management (IM’07), 391-400