@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}
}