Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness
Canada
World
United States