Zdzislaw Habasinski. Model theory of propositional logics of programs, some open problems. In Andrzej Skowron, editor, Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings. Volume 208 of Lecture Notes in Computer Science, pages 98-110, Springer, 1984. [doi]
@inproceedings{Habasinski84-0, title = {Model theory of propositional logics of programs, some open problems}, author = {Zdzislaw Habasinski}, year = {1984}, doi = {10.1007/3-540-16066-3_10}, url = {http://dx.doi.org/10.1007/3-540-16066-3_10}, tags = {source-to-source, logic programming, logic, open-source}, researchr = {https://researchr.org/publication/Habasinski84-0}, cites = {0}, citedby = {0}, pages = {98-110}, booktitle = {Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings}, editor = {Andrzej Skowron}, volume = {208}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-16066-3}, }