TY  - RPRT
TI  - A precondition prover for analogy.
AU  - W W Bledsoe
PY  - 1995
DO  - 10.1016/0303-2647(94)01453-e
UR  - https://pubmed.ncbi.nlm.nih.gov/7727701/
ID  - 7727701
ER  -