On Dart-Zobel algorithm for testing regular type inclusion
This paper answers open questions about the correctness and the completeness of Dart-Zobel algorithm for testing the inclusion relation between two regular types. We show that the algorithm is complete but incorrect for regular types.
algorithm regular types type inclusion