Hierarchical a Fortiori Reasoning with Dimensions.

Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij

Browse the full JURIX paper archive.