Michael Kifer

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Journal on Data Semantics VIII

Journal on Data Semantics IX

Introduction to Operating System Design and Implementation