Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.

Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma

Browse the full ICLP paper archive.