Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. Query Inseparability by Games. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Volume 1193 of CEUR Workshop Proceedings, pages 83-95, CEUR-WS.org, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.