Authored by
Year of Publication
1994
Conference Name
Proceedings of the Workshop on Theory Reformulation and Abstraction