Research Article
Other versions:
- Article InfoArticle Info
- CitationCitation
- MetricsMetrics
- CommentComment
- RelatedRelated
- CitedCited
JUCS - Journal of Universal Computer Science 11(7): 1327-1348
doi:
10.3217/jucs-011-07-1327
Published:
28 Jul 2005
This article is part of:
Authors
Marcelo d Amorim 
- Corresponding author
- Corresponding author
Formal Systems Laboratory, Department of Computer Science, University of Illinois UrbanaChampaign, United States of America
Articles by this author in:
CrossRef
|
Google Scholar
Formal Systems Laboratory, Department of Computer Science, University of Illinois UrbanaChampaign, United States of America
Articles by this author in:
CrossRef
|
Google Scholar
Conflict of interest
The authors have declared that no competing interests exist.
This article is freely available under the J.UCS Open Content License.