Deciding the Bisimilarity Relation between Datalog Goals.

Philippe Balbiani, Antoun Yaacoub

Browse the full JELIA paper archive.