@article{BSL7_3_Andreka_Nemeti,
author = {Hajnal ANDR{\'E}KA and Istv{\'a}n N{\'E}METI},
title = {Completeness of Floyd Logic},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {3},
year = {1978},
pages = {115--120}
}