Journal of Automated Reasoning
Language: eng
Notes: Record created by III Electronic Resource Management module.