Proceedings (Technical Report, 1994)