TR96-041 - Electronic Colloquium on Computational Complexity