Tools and Techniques in Qualitative Reasoning about Space

Philippe Balbiani

A Simple but Formal Semantics for XML Manipulation Languages

Jan Paredaens and Jan Hidders

Algorithmic Definability and Completeness in Modal Logic

Dimiter Vakarelov