Journal of Automated Reasoning (NETHERLANDS Hybrid)
Keywords: Information Technology -- General and Others; Mathematical Sciences -- Algorithms; Mathematical Sciences -- Applied Mathematics; Mathematical Sciences -- Stochastic Computation