@misc
{TN_libero_mab2,
author = {
Crosilla, Laura
AND
Ishihara, Hajime
AND
Schuster, Peter
},
title = {
On constructing completions
},
publisher = {Cambridge University Press (CUP)},
isbn = {0022-4812},
isbn = {1943-5886},
keywords = {
Logic
,
Philosophy
},
year = {2005},
}