Precongruence formats for decorated trace preordersBard BloomWan Fokkinket al.2000Proceedings - Symposium on Logic in Computer Science