Carl Eichenlaub

	1990
1		Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger: The Romulus Proof Checker. CADE 1990: 651-652

Coauthor Index

1	Bruce Esrig	[1]
2	James Hook	[1]
3	Carl Klapper	[1]
4	Garrel Pottinger	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page