Dolph Ulrich

	2002
4		Larry Wos, Dolph Ulrich, Branden Fitelson: Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus CoRR cs.LO/0211014: (2002)
3		Larry Wos, Dolph Ulrich, Branden Fitelson: XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus CoRR cs.LO/0211015: (2002)
2		Larry Wos, Dolph Ulrich, Branden Fitelson: Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. J. Autom. Reasoning 29(2): 107-124 (2002)
	2001
1		Dolph Ulrich: A Legacy Recalled and a Tradition Continued. J. Autom. Reasoning 27(2): 97-122 (2001)

Coauthor Index

1	Branden Fitelson	[2] [3] [4]
2	Larry Wos	[2] [3] [4]