A Unified Encoding of Structures in Transition Systems

31764

Knowledge Triples