Deciding the Bisimilarity Relation between Datalog Goals

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33353-8_6 ◽

2012 ◽

pp. 67-79

Author(s):

Philippe Balbiani ◽

Antoun Yaacoub

Download Full-text