The following publications are possibly variants of this publication:
- PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with PredicatesLuca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir. calco 2011: 378-385 [doi]
- Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s mergeLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. lmcs, 1(1), 2005. [doi]
- Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s MergeLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. corr, abs/cs/0501040, 2005. [doi]