Michael Codish, Bart Demoen. (no title). Journal of Logic and Algebraic Programming, 25(3):249-274, 1995.
@article{CodishD95,
author = {Michael Codish and Bart Demoen},
year = {1995},
researchr = {https://researchr.org/publication/CodishD95},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {25},
number = {3},
pages = {249-274},
}