Direct Forcing methods in Trio_U theory and applications
Origin : Files produced by the author(s)