| |
| 1999 | ||
|---|---|---|
| 2 | William E. Aitken, Robert L. Constable, Judith L. Underwood: Metalogical Frameworks II: Developing a Reflected Decision Procedure. J. Autom. Reasoning 22(2): 171-221 (1999) | |
| 1990 | ||
| 1 | Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken: The Semantics of Reflected Proof LICS 1990: 95-105 | |
| 1 | Stuart F. Allen | [1] |
| 2 | Robert L. Constable | [1] [2] |
| 3 | Douglas J. Howe | [1] |
| 4 | Judith L. Underwood | [2] |