%0 Journal Article %1 journals/logcom/Derrick00 %A Derrick, John %D 2000 %J J. Log. Comput. %K dblp %N 5 %P 663-675 %T A single complete refinement rule for Z. %U http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#Derrick00 %V 10

@article{journals/logcom/Derrick00, added-at = {2011-06-29T00:00:00.000+0200}, author = {Derrick, John}, biburl = {https://www.bibsonomy.org/bibtex/2d64072c4aa677f014f21028cece1faf9/dblp}, ee = {http://dx.doi.org/10.1093/logcom/10.5.663}, interhash = {2b6e7bb6f211e5d795d5367a3622f311}, intrahash = {d64072c4aa677f014f21028cece1faf9}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {663-675}, timestamp = {2011-06-30T11:38:51.000+0200}, title = {A single complete refinement rule for Z.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#Derrick00}, volume = 10, year = 2000 }