Deciding Bisimilarity of Full BPA Processes Locally (Q3540084)

From MaRDI portal