@article{BSL8_4_Santa-Toth_Sztos,
author = {Edit S{\'A}NTA-T{\'O}TH and Mikl{\'o}s SZ{\"O}TS},
title = {Colloquium on Logic in Programming, 10–15 September 1978, Salgótarján (Hungary)},
journal = {Bulletin of the Section of Logic},
volume = {8},
number = {4},
year = {1979},
pages = {206--213}
}