Feiyu Xu; Hong Li; Yi Zhang; Hans Uszkoreit; Sebastian Krause
In: Journal of Logic and Computation (JLC), Vol. n.A. Pages 0-0, Oxford Univ. Press, 2012.