Up a level |
Gadgil, S (2019) Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs. In: Journal of Automated Reasoning .
Hooker, JN and Rago, G and Chandru, V and Shrivastava, A (2002) Partial instantiation methods for inference in first-order logic. In: Journal of Automated Reasoning, 28 (4). pp. 371-396.
Borkar, VS and Chandru, Vijay and Mitter, Sanjoy K (2002) Mathematical Programming Embeddings of Logic. In: Journal of Automated Reasoning, 29 (1). pp. 91-106.