Progress Report October 17, 2007

I have finished writing a paper for a conference submission. Meanwhile, I have been continuing to work on our hybrid consistency framework implementation. I am reading books and papers about various consistency mechanism. I am also testing our SRG system to fix possible bugs.