Open Mechanized Reasoning Systems (1992)

Cached

Download Links

by John McCarthy , Fausto Giunchiglia , Carolyn Talcott