Two-Variable Logic for Hierarchically Partitioned and Ordered Data.

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Browse the full KR paper archive.