Cite
MLA Citation
Alexandre Madeira et al., editors. Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Cham, Switzerland : Springer, 2018. http://access.bl.uk/ark:/81055/vdc_100072642153.0x000001