Bisimulation; Logic Programming

Set Graphs VI: Logic Programming and Bisimulation