AO da Costa - … Methods: 19th International Conference, IFM 2024 …, 2024 - books.google.com
Hypernode logic can reason about the prefix relation on stutter-reduced finite traces through
the stutter-reduced prefix predicate. We increase the expressiveness of hypernode logic in …