BibTex format
@techreport{Russo:1998,
author = {Russo, A and Rodrigues, O},
booktitle = {Technical Report},
publisher = {Imperial College London, Department of Computing},
title = {A Translation Method for Four-valued Logics},
url = {http://hdl.handle.net/10044/1/5997},
year = {1998}
}