Some Complexity Bounds for Subtype Inequalities

Marcin Benke. Some Complexity Bounds for Subtype Inequalities. Theoretical Computer Science, 212(1-2):3-27, 1999. [doi]

Abstract

Abstract is missing.