Erica Melis

Bibliography

Melis, Erica and Siekmann, Jörg H. 1999. “Knowledge-Based Proof Planning.” Artificial Intelligence 115(1): 65–105.