@inproceedings{AguzzoliBovaMarra09,
 author = {Stefano Aguzzoli and
Simone Bova and
Vincenzo Marra},
 booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
 pages = {1–15},
 title = {Applications of Finite Duality to Locally Finite Varieties of {BL}-Algebras},
 year = {2009}
}