<?xml version="1.0"?>
<dblp>
<article key="journals/iandc/Grabowski85" mdate="2006-04-25">
<title>On Relative Completeness of Hoare Logics</title>
<author>Michal Grabowski</author>
<pages>29-44</pages>
<journal>Information and Control</journal>
<month>July/August</month>
<year>1985</year>
<volume>66</volume>
<number>1/2</number>
<url>db/journals/iandc/iandc66.html#Grabowski85</url>
</article>

</dblp>
