1
by Dam, M.
Published in Journal of Logic and Computation (2002)
Get additional information online
E-Article
5
12
15
20