partial ordering for regular expressions Vaclav Barta <vbar@comp.cz>