SERGIO ABRIOLA; PABLO BARCELÓ; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA

Bisimulations on Data Graphs

Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference

Lugar: Palo Alto, California; Año: 2016; p. 309 - 318