Hardi Hungar. Expressibility of the Semantics of Sequential Programs in First-Order Logic. Fundamenta Informaticae, 21(4):345-365, 1994.
@article{Hungar94:2, title = {Expressibility of the Semantics of Sequential Programs in First-Order Logic}, author = {Hardi Hungar}, year = {1994}, tags = {semantics, logic programming, logic}, researchr = {https://researchr.org/publication/Hungar94%3A2}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {21}, number = {4}, pages = {345-365}, }