@inproceedings{ShYi2001,
   author = {Nikolay Shilov and Kwangkeun Yi},
   title = {On Expressive Power of Second Order Propositional Program Logics},
   booktitle = {A. Ershov 4th International Conference on Perspectives of System Informatics},
   address = {Novosibrisk, Russia},
   month = {July},
   year = {2001},
   format = {ps.gz},
   category = {conference program-logics},
}