@Journal article{spart873,
	author =  "Fernández Díez, Gustavo", 
	title = "The strong completeness of the tableau method",
	publisher = "",
    year =      ""
}