Incorporating domain specific knowledge into version space search | IEEE Conference Publication | IEEE Xplore