An overview of the Yale gem system (Technical report / Yale University, Dept. of Computer Science)