| |
| 1992 | ||
|---|---|---|
| 2 | Myla Archer, George Fink, Lie Yang: Linking Other Theorem Provers to HOL Using PM: Proof Manager. TPHOLs 1992: 539-548 | |
| 1991 | ||
| 1 | George Fink, Myla Archer, Lie Yang: PM: A Proof Manager for HOL and Other Provers. TPHOLs 1991: 286-304 | |
| 1 | Myla Archer | [1] [2] |
| 2 | Lie Yang | [1] [2] |