Carl Klapper

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

Coauthor Index

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

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page