@BOOK {3954, author={C. Caleiro and F. DionĂsio and M.P.G. Gouveia and P. Mateus and J. Rasga}, editor={}, title={Logic and Computation -- Essays in Honour of Amilcar Sernadas}, publisher={College Publications}, year={2017} }Create and download bib file