William E. Aitken

	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

Coauthor Index

1	Stuart F. Allen	[1]
2	Robert L. Constable	[1] [2]
3	Douglas J. Howe	[1]
4	Judith L. Underwood	[2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page