Cite
HARVARD Citation
Unknown (2015) Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings. [Online]. Heidelberg : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100078044198.0x000001