Lin Hai

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

2 Lin Hai, Jigui Sun: Knowledge Compilation Using the Extension Rule. J. Autom. Reasoning 32(2): 93-102 (2004)

2003

1 Lin Hai, Jigui Sun, Zhang Yimin: Theorem Proving Based on the Extension Rule. J. Autom. Reasoning 31(1): 11-21 (2003)

	2004
2		Lin Hai, Jigui Sun: Knowledge Compilation Using the Extension Rule. J. Autom. Reasoning 32(2): 93-102 (2004)
	2003
1		Lin Hai, Jigui Sun, Zhang Yimin: Theorem Proving Based on the Extension Rule. J. Autom. Reasoning 31(1): 11-21 (2003)

Coauthor Index