Cite
HARVARD Citation
Unknown (2020) Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100102599910.0x000001