@article{article, title  = {{A single complete refinement rule for Z}},

 url = {{}},

 year = {{2000}},

 month = {{10}},

 author = {{Derrick J}},

 volume = {{10}},

 journal = {{J LOGIC COMPUT}},

 issue = {{5}},

 pages = {{663-675}},

 note = {{Accessed on 2024/10/23}}}