James Caldwell

	2008
3		Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell: Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63
	2007
2		James Caldwell, Josef Pohl: Constructive Membership Predicates as Index Types. Electr. Notes Theor. Comput. Sci. 174(7): 3-16 (2007)
	1999
1		James Caldwell: Intuitionistic Tableau Extracted. TABLEAUX 1999: 82-96

Coauthor Index

1	Ruben Gamboa	[3]
2	Nadya Kuzmina	[3]
3	John Paul	[3]
4	Josef Pohl	[2]

Colors in the list of coauthors