@inproceedings{05835ffaa63b44cc9eb23e9a58d77ec1,
title = "On four logics of programs and complexity of their satisfiability problems: Extended abstract",
author = "Chlebus, {Bogdan S.}",
year = "1983",
doi = "10.1007/3-540-11981-7_6",
language = "English (US)",
isbn = "9783540119814",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "98--107",
editor = "Andrzej Salwicki",
booktitle = "Logics of Programs and Their Applications - Proceedings",
note = "Symposium on Logics of Programs and their Applications, 1980 ; Conference date: 23-08-1980 Through 29-08-1980",
}