Tianwen Xu

A researcher in logics for computational legal theory