@BOOK {432,
author={W. Carnielli  and M. Coniglio and D. Gabbay and M.P.G. Gouveia and C. Sernadas},
editor={},
title={Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems},
publisher={Springer},
year={2008}
}
Create and download bib file