M. Lai

1992
2		Ursula Martin, M. Lai: Some Experiments with a Completion Theorem Prover. J. Symb. Comput. 13(1): 81-100 (1992)
1987
1		M. Lai, K. C. Lee, Gary E. Herman: Broadcast Database Systems. ICDCS 1987: 408-415

Coauthor Index

1	Gary E. Herman	[1]
2	K. C. Lee	[1]
3	Ursula Martin	[2]

Colors in the list of coauthors