Bienvenu, Ortiz, Simkus, 2015. Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results, in: .